Employment History |
Oct. 2001 -: Research fellow Chargé de recherche (hors classe since 2020), INRIA Grenoble Rhône-Alpes, VASY (until December 2011) and CONVECS (since January 2012) teams |
|
Jul. 2000 - Sep. 2001: Software Engineer Ingénieur expert, INRIA Grenoble Rhône-Alpes, VASY project-team |
|
Aug. 1999 - Jul. 2000: Assistant Professor Visiting Assistant Professor of computer science, Wesleyan University (Middletown, Connecticut, USA) |
|
Oct. 1998 - Aug. 1999: Assistant Professor Attaché Temporaire d'Enseignement et de Recherche ATER, Ecole Normale Supérieure de Lyon ENSL (Lyon, France) |
|
Oct. 1995 - Sep.1998: Repetitor Enseignant moniteur, Ecole Normale Supérieure de Lyon ENSL (Lyon, France), Université Henri Poincaré, Nancy 1 and ESIAL (Nancy, France) |
Scientific Prizes |
2023: ETAPS Test of Time Tool Award Joint laureate with Hubert Garavel, Radu Mateescu, and Wendelin Serwe |
|
2021: Inria - Académie des Sciences - Dassault Systèmes Innovation Prize Joint laureate with Hubert Garavel, Radu Mateescu, and Wendelin Serwe |
Educational Background |
1995 - 1998: PhD in computer science Doctorat d'informatique de l'Ecole Normale Supérieure de Lyon ENSL (Lyon, France), mention très honorable |
|
1993 - 1994: MSc in computer science Diplôme d'Etudes Approfondies DEA de l'Université Henri Poincaré, Nancy 1 (Nancy, France), mention Bien |
|
1991 - 1994: Engineering Degree in Computer Science Diplôme d'ingénieur en informatique de l'Ecole Supérieure d'Informatique et Applications de Lorraine ESIAL (Nancy, France), now named Telecom Nancy |
|
1989 - 1991: Mathématiques supérieures et spéciales Lycée Champollion (Grenoble, France) |
|
1989: Baccalauréat Baccalauréat scientifique (série C), mention Assez-Bien, Académie de Grenoble (Grenoble, France) |