Academic
I graduated from the University of Cambridge in 2001 with a degree in Mathematics, and in 2001/2002 I took part in the "Part III" extension of the course, for which I will be awarded a Master in Mathematics (this is a long story). I obtained my PhD at the University of Bath: my thesis, "Categorical models of First-order Classical Proofs", was accepted in March 2006.
After graduating, I was employed on the Swiss National Science Foundation grant "Algebraic and Logical Aspects of Knowledge Processing" at the University of Bern, from 2006 to 2009. From 2009 to 2010 I was employed by the ANR grant "Infer" at PPS, Paris VII. I am now back in Bern, supported by an "Ambizione" fellowship, "Computational structure of classical duality".