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 ici.
Enseignement
Arrivée à Nancy et l’Université de Lorraine en 2011, j’étais auparavant maître de conférences à l’Université Paris Est Créteil depuis 2004. Mes premières expériences d’enseignement remontent à deux années de bénévolat au sein du GENEPI et trois ans de monitorat de à l’ENS de Cachan de 2000 à 2003.
En suivant ce lien vous trouverez des informations sur les cours que j’ai effectués.
Médiation
Je consacre une partie de mon temps de travail (et également une partie de mon temps de « repos ») à partager l’informatique avec un public diversifié : des écoliers, des collégiens/lycéens, des non scientifiques et des professeurs du secondaire. Si vous voulez plus d’informations, savoir d’où viennent la plupart de ces activités, ou apprendre à les faire vous-mêmes, allez donc faire un tour sur cette page.
