Bâtiment 307

Faculté des Sciences d'Orsay

Université Paris-Saclay

F-91405 Orsay Cedex

FRANCE

Office 3K1

Phone: (33) (0)1 69 15 48 38

Email: patrick.massot @ math.cnrs.fr

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:

updated on September 20 2023.