Recherche

Depuis mon arrivée à Nancy, je fais partie de l’équipe VERIDIS qui s’intéresse à la vérification formelle de systèmes distribués. Ma recherche concerne plus précisément la vérification de systèmes probabilistes, notamment à l’aide du model-checking statistique.

  • Plus de détails sur mes thèmes de recherche (présents et passés) peuvent être trouvés ici
  • Une liste de mes publications se trouve ici
  • Mon CV, actualisé en mai 2015, est également accessible ici.