2002-2004
École normale supérieure de Lyon
Reçu en 2002 en qualité d'élève normalien. Licence et Maîtrise d'informatique.
2004-2009
Université de la Méditerranée
Master 2 de mathématiques discrètes et fondements de l'informatique (Mention TB)
Doctorat de mathématiques discrètes et fondements de l'informatique (Théorie de la démonstration), soutenu le 16 mai 2009. Voir
la page recherche.
2006 - auj.
Agrégation de mathématiques
Reçu 42ème en 2006, présentée en candidat libre.
2009
CNRS
Post-doctorat au laboratoire Preuves, Programmes
et Systèmes, Paris 7.
2010-2011
E-on software
Ingénieur de recherche sur Vue (paysages de synthèse pour le cinéma et l'architecture).
2011-2019.
Centre International de Valbonne
Professeur de mathématiques et d'informatique en MPSI2.
2019-2021.
Centre International de Valbonne
Professeur de mathématiques en MP.
2021-2022.
Centre International de Valbonne
Professeur d'informatique en MP2I.
2022-auj.
Centre International de Valbonne
Professeur d'informatique en MPI.