Marie Duflot-Kremer


LORIA, équipe VERIDIS, Bât. B
Campus Scientifique, BP 239
54506 Vandoeuvre-lès-Nancy Cedex
France

Tel: +33 (0) 3 83 59 30 75
Mail: prenom.nom-composé@monlabo.fr
Bureau: B250

Marie Duflot-Kremer

Maître de conférence à l'Université de Lorraine
membre de l'équipe VERIDIS du centre Inria Nancy - Grand Est et du LORIA

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.

Enseignement

Arrivée à Nancy et l'Université de Lorraine en 2011, j'étais auparavent 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 scientifique

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, allez donc faire un tour sur cette page.