Je suis professeur au Laboratoire de Mathématiques d'Orsay de l'Université Paris-Saclay. Cette année je suis en détachement à Carnegie Mellon University. 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 :