Marie Duflot-Kremer est maîtresse de conférences en informatique à l'Université de Lorraine.
Elle s'intéresse à la vérification formelle de systèmes informatiques. Elle réalise également des activités pour faire découvrir l'informatique, avec ou sans ordinateur.