2007-
- Permanent researcher in the (INRIA) TypiCal team
2006/-2007
- Postdoc in the Mathematical Components project, lead by Georges Gonthier. INRIA Micorsoft 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
2002/2003
- DEA Programming, Proofs, Languages. Paris 7. With high honours.
- Internship supervised by Gilles Dowek (INRIA Futurs, LOGICAL team): "An induction principle for real numbers".
- ENS Lyon 4th year, Master of Mathematics and Applications.
2001/2002
- Accepted at "Agrégation externe de mathématiques, option probabilités".
- ENS Lyon 3rd year, Master of Mathematics and Applications.
2000/2001
- Master of Mathematics (Claude Bernard University, Lyon 1).
- ENS Lyon 2nd year, Master of Mathematics and Applications.
- Internship supervised by Loïc Pottier (INRIA Sophia, LEMME team):"Quantifiers elimination over real numbers in Coq".
1999/2000
- Graduation in Mathematics (Claude Bernard University, Lyon1).
- ENS Lyon 1st year, Master of Mathematics and Applications.
- Internship supervised by Michel Laurent (IML, Marseille):"Padé Approximants and irrationality measures".
1996/1999
- Preparation to competitive exams for the French "Grandes Écoles" lycée Thiers (Marseille).
- Accepted at École Normale Supérieure de Lyon.