Bâtiment 307

Faculté des Sciences d'Orsay

Université Paris-Sud

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 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:

updated on October 09 2020.