Recherche

Le thème central de ma recherche est l'algorithmique distribuée et la tolérance aux défaillances

• membre du LIAFA dans l'équipe modélisation et vérification dirigée par P. Gastin,
• Hôte académique (2 mois) à l'École Polytechnique Fédérale de Lausanne (EPFL) en 2002,
• Collaborateur extérieur à l'INRIA en 2002,
• Projet de coopération Franco-Suisse avec l'EPFL en 2002,
• Organisation de la 31-ème école de printemps d'informatique théorique à Porquerolles en 2003 sur le thème de l'algorithmique distribuée.
• Projet de coopération Franco-Suisse (Egide, Germaine de Staël) avec l'EPFL (2004)
• Création et animation de l'AS (Action Spécifique) Algorithmique Distribuée et Applications (2003-2004).