BOLDO Sylvie
Habilitation à diriger des recherches
Equipe : Vérification d'Algorithmes, Langages et Systèmes
Deductive Formal Verification: How To Make Your Floating-Point Programs Behave
Début le 01/01/1970
Direction :
Ecole doctorale :
Etablissement d'inscription : vide
Lieu de déroulement :
Soutenue le 06/10/2014 devant le jury composé de :
Rapporteurs:
- Yves Bertot (Inria Sophia-Antipolis Méditerranée)
- Philippe Langlois (Université de Perpignan Via Domitia)
- John Harrison (Intel, Oregon)
Examinateurs:
- Marc Baboulin (Université Paris-Sud)
- Yves Bertot (Inria Sophia-Antipolis)
- Eric Goubault (Ecole Polytechnique & CEA)
- William Kahan (University of California at Berkeley)
- Philippe Langlois (Université de Perpignan Via Domitia)
- Claude Marché (Inria Saclay - Île-de-France)
- Jean-Michel Muller (CNRS, LIP)
Activités de recherche :
Résumé :
