Patrick Massot

I work as a professor at the Laboratoire de Mathématiques d'Orsay in Université Paris-Saclay. 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:

• My research papers
• Images and explanations about my research field (for mathematicians)
• Explanations for non-mathematicians (in French)
• A few documents about my teaching
• The web page of a working group on formalized mathematics
• The web page of a working group from 2015-2016 about sheaf theory applied to symplectic topology