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.