Site officiel du LSV
Curriculum Vitae
Degrees
Student at the Ecole Normale Supérieure de l'Enseignement Technique (ENS Cachan) (in mathematics)
"DEA" degree on Operating Systems from University Paris 6 (june 1984)
PhD degree from University Paris 6 (june 1987)
supervised by Professor Claude Girault
"Une catégorie régulière de réseau de Petri de haut-niveau : définition, propriétés et réductions. Application à la validation de systèmes distribués"
"Habilitation à diriger des recherches" degree from University Paris 6 (december 1991)
"Méthodes de vérification des systèmes parallèles"
Professional Activities
Associate Professor of University Paris 6 (1988-1993)
Professor of University Paris-Dauphine (1993-2008)
Professor of ENS Cachan (since february 2008)