Patrick Massot

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. Je participe au Liquid tensor experiment. et j'ai lancé un projet pour formaliser le retournement de la sphère.

Sur ce site web vous trouverez :

• Mes articles de recherche
• Des images et des explications pour mathématiciens concernant mon domaine de recherche
• Des explications pour non-mathématiciens
• Quelques documents concernant mon enseignement
• La page d'un groupe de travail de mathématiques formalisées
• La page d'un groupe de travail en 2015-2016 sur la théorie des faisceaux appliquée aux sous-variétés lagrangiennes des cotangents