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 SPIRAL

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

Livres

• 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

Transparents de quelques exposés

• Un exposé et des références sur l'arithmétique flottante lors du groupe de travail FOC du 11 juillet 2002
• Un exposé de synthèse sur l'arithmétique réelle lors du séminaire Spiral le 1er juin 2007

Conférence RNC'08 à Saint-Jacques de Compostelle du 7 au 9 juillet 2008

• Mes photos