A Short CV

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