Education
|
|
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 |
|
Software Engineering Degree Diplôme d'ingénieur en informatique de l'Ecole Supérieure d'Informatique et Applications de Lorraine ESIAL (Nancy, France) 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 |
Jobs
|
|
Research associate Chargé de recherche, 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 Ecole Supérieure d'Informatique et Applications de Lorraine ESIAL (Nancy, France) From September 1995 to August 1998 |