Patrick Massot

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

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

Courrier électronique :

Je suis professeur au Laboratoire de Mathématiques d'Orsay de l'Université Paris-Saclay. 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. J’ai participé au Liquid tensor experiment et formalisé le retournement de la sphère.

Sur ce site web vous trouverez :

Picture of a contact structure
mis à jour le 05 octobre 2024.