Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > BOLDO Sylvie
Présentation
Mme BOLDO Sylvie
BOLDO 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 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