Serge Haddad : Curriculum Vitae
Formation initiale
Ancien élève de l'Ecole Normale Supérieure de l'Enseignement Technique (devenue ENS Cachan puis ENS Paris-Saclay)
(section mathématiques)
Diplôme d'Etudes Approfondies (DEA) des Systèmes Informatiques de l'Université Paris 6 (juin 1984)
Docteur de l'Université Paris 6 (juin 1987)
Thèse effectuée sous la direction du Professeur 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 de l'Université Paris 6 (décembre 1991)
Sujet : "Méthodes de vérification des systèmes parallèles"
Fonctions
Maître de Conférences de l'Université Paris 6 (1988-1993)
Professeur de l'Université Paris-Dauphine (1993-2008)
Professeur de l'ENS Paris-Saclay (depuis février 2008)