On the failure of identity

Last week, I had the great pleasure of attending a master class tutorial on potentialism, a part of a two-day event with Joel David Hamkins dedicated to the decennial anniversary of his multiverse theory held at the University of Konstanz. One of the topics discussed was a situation where one or more individuals cease to […]

Read More On the failure of identity

Modal model theory

I shall talk about modal model theory at the IMS Graduate Summer School in Logic at the National University of Singapore, 19th of July 2022. This will include results from my collaborative work with Joel David Hamkins as well as some new results of mine, from projects supervised by Joel David Hamkins.

Read More Modal model theory

Usuba’s extendible and resurrection, IMS GRADUATE SUMMER SCHOOL IN LOGIC, July 2022

I shall talk about the tension between resurrection and large cardinals at the IMS Graduate Summer School in Logic at the National University of Singapore, 7th of July 2022. Abstract. The mantle is the intersection of all ground models of the universe. By a result of Usuba, the mantle is a ground in the presence of […]

Read More Usuba’s extendible and resurrection, IMS GRADUATE SUMMER SCHOOL IN LOGIC, July 2022

Modal theory of the category of sets

This was a talk for the Junior Logic Seminar at the University of Oxford, 7th of June 2022. Abstract. I shall investigate the modal theories and validities in a variety of cases arising from the archetypical concrete category of sets and functions. I introduce new insights into the method of control statements, answering a MathOverflow […]

Read More Modal theory of the category of sets

The Mathematical Multiverse

I shall speak about some recent developments on the subject of modal model theory for the Junior Logic Seminar at the University of Oxford. The talk, titled The Mathematical Multiverse, will take place at the Mathematical Institute on November 16, 2021 at 5PM UK time. Please contact Brian Tyrrell should you like to join us. […]

Read More The Mathematical Multiverse

British Logic Colloquium PhD day

I gave a short introductory talk on modal model theory for the British Logic Colloquium PhD day, taking place at 1st September 2021 as a part of the BLC Annual Meeting 2021 at Durham University. I explained the general idea and gave an update on the progress of my research, pointing out some new directions towards which […]

Read More British Logic Colloquium PhD day

Guardian: symbolic validation of orderliness in SGX enclaves

This time, on a different note. This is a joint work with Pedro Antonino, Senior Research Scientist at the Blockhouse Technology Limited, and A. W. Roscoe, Professor of Computing Science at Oxford University, Senior Research Fellow in Computer Science at University College Oxford, Director of the University College Oxford Blockchain Research Centre, and Founder and […]

Read More Guardian: symbolic validation of orderliness in SGX enclaves

Modal model theory

This blog post from August 2019 now includes an update with regard to a result that is now revoked. Research has its ups and downs… I would like to share with you a brief description of what I have been doing at Oxford for the past eight months. Since my adviser has already written about […]

Read More Modal model theory