About meI am a set theorist working in axiomatic set theory, particularly subsystems of the "standard" axiomatisation of mathematics, ZFC. Set theory studies the foundations of mathematics and the axioms we use are the building blocks from which we can construct all other mathematical objects. In principle, by weakening the foundations we are working with, we are able to prove less statements. However, if we can still prove something, the weak system often tells us more about the proof and why mathematics works the way it does. My research interests include: Realizability, Set Theory without Power Set, Constructive Set Theory and Large Cardinals. To contact me you can email Currently, I am doing a postdoc with Laura Fontanella at Université Paris-Est Créteil on Krivine realizability. Kleene's method of realizability was originally contructed as a way to extract the computational content of constuctive proofs as well as being a method to prove versions of the disjunction and existential witness properties for various intuitionistic theories. In a series of papers Jean-Louis Krivine extended this idea to work over classical logic using a technique which builds both upon Kleene's original idea and the method of forcing in set theory. Here is a short CV:
About Me     Research     Talks |