Skip to content

Possibly♢Necessary

Wojciech Aleksander Wołoszyn

About me

I am a DPhil student in Mathematics at the University of Oxford. My academic interests revolve around the philosophy of foundations of mathematics in the context of V and the multiverse debate. Currently, I am mostly preoccupied with research on modal model theory - an emerging field in mathematical logic. My academic advisers are Professor Joel David Hamkins (University of Notre Dame), Professor Ehud Hrushovski, and Professor W. Hugh Woodin (Harvard University). Previously, I was a Recognised Student in Philosophy at the University of Oxford, under Professor Hamkins's supervision.

Follow me on Twitter

My Tweets

Tags

actuality Alexander Christensen Block axiom of determinacy Benedikt Löwe Bill Roscoe Blockhouse Technology Limited British Logic Colloquium category of sets confidential computing Douglas Blue Durham University forcing formal verification Goldberg inner models Joel David Hamkins junior logic seminar Kripke model large cardinals modal group theory modal logic modal model theory model theory Multiverse National University of Singapore NUS Pedro Antonino potentialism Recognised Student remote attestation resurrection axiom set-theoretic geology set-theory set theory Singapore Sören Berger Tamarin prover TBTL The Blockhouse Technology Limited trusted execution environment University of Cambridge University of Oxford Usuba V=Ultimate L W. Hugh Woodin

Category: Programming

Securing SEV VMs with SGX Enclaves: Flexible Remote Attestation Protocol

It has been some time since I last updated the readers on my scientific endeavors in confidential computing. Though quiet here, I was not sitting idle. I am excited to share that my joint research effort Flexible Remote Attestation of pre-SNP SEV VMs using SGX Enclaves, with with Pedro Antonino, Senior Research Scientist at The […]

Read More Securing SEV VMs with SGX Enclaves: Flexible Remote Attestation Protocol

Making face-curves in Mathematica​

Yesterday we had Mother’s Day in Poland. Since my girlfriend and I are parents of our cute pug called Delta, we decided to help her with a gift for mommy. She decided to give her mother a curve. Delta wanted to learn how to make Wolfram|Alpha style person curves like this: You can easily generate […]

Read More Making face-curves in Mathematica​
Proudly powered by WordPress | Theme: Intergalactic 2 by WordPress.com.