Je suis membre du LIAFA (Laboratoire d'Algorithmique Fondamentale et Appliquée, Université Paris 7-CNRS) dans l'équipe modélisation et vérification dirigée par P. Gastin.
Depuis plusieurs années, j'ai, avec ma collègue C. Delporte du LIAFA, recherché et établi de nombreuses collaborations nationales et internationales en particulier avec R. Guerraoui (Professeur, École Polytechnique de Lausanne), G. Le Lann (INRIA), M. Raynal (IRISA), S. Toueg (Professeur, Université de Toronto).
Mes recherches portent sur différents aspects des systèmes
distribués. Essentiellement, l'objectif est
de cerner ce qui caractérise les systèmes distribués.