Degrees
- Student at the Ecole Normale Supérieure de l'Enseignement Technique (become ENS Cachan then ENS Paris-Saclay) (in mathematics)
- Master (aka 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
- Assistant Professor of University Paris 6 (1988-1993)
- Professor of University Paris-Dauphine (1993-2008)
- Professor of ENS Paris-Saclay (since February 2008), Emeritus since July 2024
