I work as a professor at the Laboratoire de Mathématiques d'Orsay in Université Paris-Saclay. This year I am in sabbatical at Carnegie Mellon University. My research focuses on contact geometry and symplectic geometry. Recently I worked a lot on formalized mathematics. In particular I formalized the definition of perfectoid spaces with Buzzard and Commelin. I'm actively contributing to the Liquid tensor experiment. I also launched a project to formalize sphere eversions..
On this website, one can find: