I’m currently a postdoc in the Marelle team at Inria Sophia-Antipolis. At the moment I’m mainly working on Cubical Type Theory and Univalent Foundations.

Before this I was a member at the Institute for Advanced Study in Princeton working on formalization of mathematics in Univalent Foundations with Vladimir Voevodsky.

I defended my PhD thesis at the Department of Computer Science and Engineering at Chalmers and University of Gothenburg under the supervision of Thierry Coquand in December 2014.

Software

I’m actively developing and contributing to:

I have previously developed: