Here is a detailled CV in English.
2018-now
Endowed Professor at the VU Amsterdam, Department of Mathematics, funded by the CAN foundation.
2017-now
Permanent researcher in the Gallinette (Inria) team.
2013-2017
- Permanent researcher in the Specfun (Inria) team.
- Member of the Mathematical Components project at the
Inria Microsoft Research joint centre.
2007-2012
- Permanent researcher in the former (Inria)
TypiCal team.
- Member of the Mathematical Components project at the
Inria Microsoft Research joint centre.
2006/-2007
- Postdoc in the Mathematical Components project, supervised by Georges Gonthier. Inria Microsoft Research joint centre.
2003/2006
- PhD in Computer Sciences, supervised by Loïc
Pottier, Inria Sophia Antipolis, Marelle team. With
high honours.
Jury : Thierry
Coquand (referee), John Harrison (referee),
Marie-Francoise Roy (referee), André Hirschowitz
(president), Loïc Pottier (supervisor), Benjamin Werner.
1999/2003
- Civil servant student at "École Normale Supérieure de Lyon" (ÉNS
Lyon), Master of Pure Mathematics and Applications.
- Master in Computer Sciences "Programming, Proofs,
Languages". Paris 7. With high honours.
- "Agrégation externe de mathématiques, option
probabilités". (2002)
1996/1999
- Preparation to the competitive exams for the French "Grandes Écoles" lycée Thiers (Marseille).
- Accepted to the "École Normale Supérieure de Lyon".