Patrick Massot

Département de Mathématiques
Bâtiment 307
Faculté des Sciences d'Orsay
Université Paris-Sud
F-91405 Orsay Cedex
FRANCE

Bureau 3K1
Tél : (33) (0)1 69 15 48 38

Courrier électronique :

Je travaille pour le service public d'enseignement supérieur et de recherche. C'est pourquoi je lutte contre le projet de LPPR (loi de programmation pluriannuelle de la recherche).

Je suis professeur au Laboratoire de Mathématiques d'Orsay de l'Université Paris Sud. Mes recherches concernent géométrie de contact et la géométrie symplectique. Ces derniers temps, je m'intéresse beaucoup aux mathématiques formalisées, en utilisant l'assistant de démonstration Lean. En particulier j'ai formalisé la définition des espaces perfectoïdes avec Buzzard et Commelin et je travaille sur le retournement de la sphère.

Sur ce site web vous trouverez :

Picture of a contact structure
mis à jour le 09 octobre 2020.