2007-
- Chargée de recherche INRIA dans l'équipe projet TypiCal.
2006/-2007
- Postdoc dans le projet Mathematical Components, dirigé par Georges Gonthier dans le laboratoire commun INRIA/MSR.
2003/2006
- Doctorat d'informatique, sous la direction de Loïc Pottier, INRIA Sophia Antipolis, projet Marelle. Mention Très Honorable. Jury : Thierry Coquand (rapporteur), John Harrison (rapporteur), Marie-Francoise Roy (rapporteur), André Hirschowitz (président), Loïc Pottier (directeur), Benjamin Werner
2002/2003
- DEA Programmation, Preuves et Langages, Paris 7. Mention TBien.
- Stage sous la direction de Gilles Dowek (INRIA Futurs, projet LOGICAL): "Un principe d'induction pour les réels".
- Quatrième année de scolarité ENS Lyon, Magistère Mathématiques et Applications.
2001/2002
- Reçue à l'agrégation externe de mathématiques, option probabilités.
- Troisième année de scolarité ENS Lyon, Magistère Mathématiques et Applications.
2000/2001
- Maîtrise de mathématiques pures (Université Claude Bernard, Lyon1).
- Deuxième année de scolarité ENS Lyon, Magistère Mathématiques et Applications.
- Stage sous la direction de Loïc Pottier (INRIA Sophia, projet LEMME):" Elimination des quantificateurs sur les réels en Coq".
1999/2000
- License de mathématiques pures (Université Claude Bernard, Lyon1).
- Première année de scolarité ENS Lyon, Magistère Mathématiques et Applications.
- Stage sous la direction de Michel Laurent (IML, Université de la Méditerrannée):"Approximants de Padé et mesures d'irrationalité".
1996/1999
- Classes préparatoires au lycée Thiers (Marseille).
- Reçue à l'École Normale Supérieure de Lyon.