Serge Haddad : Curriculum Vitae

Degrees

Student at the Ecole Normale Supérieure de l'Enseignement Technique (become ENS Cachan then ENS Paris-Saclay)
(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

Assistant Professor of University Paris 6 (1988-1993)

Professor of University Paris-Dauphine (1993-2008)

Professor of ENS Paris-Saclay (since February 2008)

About LSV