Formation

• maîtrise de mathématiques et maîtrise de structures mathématiques de l'informatique (1979) à l'Université Paris 7,
• DEA d'informatique (1980) à l'Université Paris 7,
• thèse de troisième cycle (1982) à l'Université Paris 7, titre de la thèse : ``Applications des langages infinitaires à l'étude du langage CSP'' sous la direction de Maurice Nivat.
• Habilitation à diriger des recherches (18 décembre 2001) à l'Université Denis Diderot (Paris 7) : ``Algorithmique distribuée et application à l'étude des modèles en rondes et des modèles avec détecteurs de défaillances''.

  Jury:
  

  Robert CORI	Professeur, École Polytechnique (rapporteur)
  Paul GASTIN	Professeur, Université Paris 7(rapporteur)
  Jean-Michel HÈLARY	Professeur, Université de Rennes(rapporteur)
  Maurice NIVAT	Professeur, Université Paris 7 (directeur de thèse)
  Gérard LE LANN	Directeur de recherche (INRIA)
  Sam TOUEG	Professeur Université de Toronto (rapporteur)