Marie Duflot-KremerDéléguée scientifique Médiation scientifique

Marie Duflot-Kremer est maîtresse de conférences à l’Université de Lorraine, membre du Laboratoire lorrain de recherche en informatique et ses applications (LORIA - CNRS/Université de Lorraine). Au sein de CNRS Sciences informatiques, elle est déléguée scientifique Médiation scientifique. Elle contribue à la définition et au déploiement de la politique de médiation scientifique de l’institut, développe et entretient des relations avec les acteurs de la médiation et visibilise les actions de médiation en sciences informatiques.

Avant de rejoindre l’institut, Marie Duflot-Kremer a été vice-présidente de la Société informatique de France en charge de la médiation de 2020 à 2026. Elle est lauréate des prix Serge Hocquenghem (2018) et Gilles Dowek (2026) de la médiation scientifique.

Ses recherches portent sur la vérification formelle de systèmes informatiques, en particulier sur des problèmes de diagnostic, pour détecter l’occurrence d'une panne, ou d'opacité, pour au contraire masquer une partie du comportement du système. Elle s’investit également dans le partage de l'informatique avec le grand public, notamment à l'aide d'activités sans ordinateur.