![]() |
![]() |
Research fellow Chargé de recherche (currently hors classe), INRIA Grenoble Rhône-Alpes, VASY (October 2001-December 2011) and CONVECS (since January 2012) teams |
![]() |
Software Engineer Ingénieur expert, INRIA Grenoble Rhône-Alpes, VASY project-team From July 2000 to September 2001 |
![]() |
Assistant Professor Visiting Assistant Professor of computer science, Wesleyan University (Middletown, Connecticut, USA) From August 1999 to July 2000 |
![]() |
Assistant Professor Attaché Temporaire d'Enseignement et de Recherche ATER, Ecole Normale Supérieure de Lyon ENSL (Lyon, France) From September 1998 to August 1999 |
![]() |
Repetitor Enseignant moniteur, Ecole Normale Supérieure de Lyon ENSL (Lyon, France), Université Henri Poincaré, Nancy 1 and ESIAL (Nancy, France) From September 1995 to August 1998 |
![]() |
![]() |
Inria - Académie des Sciences - Dassault Systèmes Innovation Prize (2021) Joint laureate with Hubert Garavel, Radu Mateescu, and Wendelin Serwe |
![]() |
![]() |
PhD in computer science Doctorat d'informatique de l'Ecole Normale Supérieure de Lyon ENSL (Lyon, France), mention très honorable December 1998 |
![]() |
MSc in computer science Diplôme d'Etudes Approfondies DEA de l'Université Henri Poincaré, Nancy 1 (Nancy, France), mention Bien 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 Telecom Nancy from 1991 to 1994 |
![]() |
Mathématiques supérieures et spéciales Lycée Champollion (Grenoble, France) from 1989 to 1991 |
![]() |
Baccalauréat Baccalauréat scientifique (série C), mention Assez-Bien, Académie de Grenoble (Grenoble, France) 1989 |