- - - -
- - -
Ma photo

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