Mme BOLDO Sylvie

Directeur de Recherche 2 INRIA Vérification d'Algorithmes, Langages et Systèmes Tel : +33 1 69 15 39 59 Fax : Bureau : 62/PCRI-S Page personnelle : http://www.lri.fr/~sboldo/ Courrier électronique : Sylvie.Boldo@lri.fr Activités de recherche    - Formalisation et preuves de programmes numériques    - Formalisation de langages (de spécification et de programmation) dans les assistants de preuve    - Vérification déductive de programmes Publications Projets    - Toccata Responsabilités administratives    - Membre du conseil de laboratoire Responsabilités de contrats    - FOST    - HISSEO    - DIM COQUELICOT    - GDRIM673/GT Résultats majeurs    - Formal Verification of Floating-Point Programs Logiciels et brevets    - Caduceus : Outil Caduceus de vérification de programmes C    - Coq.FP2 : Coq.FP2    - Flocq Library : Flocq Library    - The Coquelicot library : The Coquelicot library    - Pff library : Pff library Thèses et habilitations Habilitation à diriger des recherches   - Deductive Formal Verification: How To Make Your Floating-Point Programs Behave Participations à des contrats    - CerPAN    - FOST    - HISSEO    - VERASCO    - DIM COQUELICOT    - FastRelax