Valérie Ménissier-Morain Maître de conférences Université Paris 6 (UPMC) LIP6 (Laboratoire d'informatique de l'Université Paris 6: CNRS, UMR 7606) Département Calsci Équipe PEQUAN

Sujet de recherche: La sûreté de programmation

• L'arithmétique exacte
• La preuve formelle mécanisée
• Le calcul formel certifié
• La qualité des calculs flottants

Mon livre Apprentissage de la programmation avec OCaml avec Catherine Dubois

Les annales du module Environnement de Développement de l'Université Paris 6 avec Christian Queinnec et Guénaël Renault aux éditions Paracamplus

Un exposé sur l'arithmétique compensée lors des Rencontres Arithmétique de l'Informatique Mathématique le 22 juin 2012