[1979] Admission à l'École Normale
Supérieure de Jeunes Filles concours mathématiques (Sèvres)
[1979-1981] Licence et maitrise de mathématiques à l'université Paris 7- DEA d'informatique à l'université Paris 11
[1983] Thèse de troisième cycle
"Preuves de vivacité des programmes séquentiels dans la logique
temporelle" à l'université Paris 7
[2001] Habilitation à diriger des
recherches "Sur l'algorithmique distribuée tolérante aux pannes" à
l'université Paris 7 soutenue le 18 décembre 2001.
Jury : Joffroy
Beauquier (rapporteur), Rachid Guerraoui
(rapporteur), Gérard Le Lann, Michel Morvan (rapporteur)
, Maurice Nivat (directeur de recherche,
président), Michel Raynal (rapporteur), Sam Toueg.
[1979-1983] Elève à l'École Normale Supérieure
[1983 ] Chef de Travaux Pratiques à l'École Polytechnique
[1983-2008 ] Maître de Conférences à l'université de PARIS 7-Denis
Diderot (en détachement d'avril 2005 à
septembre 2006)
[1983-1996] Chef de Travaux Pratiques à temps partiel
à l'École Polytechnique
[2004-2006] Coresponsable du module « Systèmes
distribués » à l’ENPC
[2005-2006] Professeur à l’ESIEE
[2008-… ] Professeur à l'université de PARIS 7-Denis
Diderot