I work as a professor at the Laboratoire de Mathématiques d'Orsay in Université Paris Sud. 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, and I now work on sphere eversions..
On this website, one can find: