Serge Haddad : 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

Assistant Professor of University Paris 6 (1988-1993)

Professor of University Paris-Dauphine (1993-2008)

Professor of ENS Cachan (since february 2008)

À propos du LSV