Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > BOLDO Sylvie
About LRI
Mrs BOLDO Sylvie
BOLDO Directeur de Recherche 2
INRIA
Verification of Algorithms, Languages and Systems

Tel : +33 1 69 15 39 59
Fax :
Office : 62/PCRI-S

Personal web page : http://www.lri.fr/~sboldo/
Email : Sylvie.Boldo@lri.fr

Research activities
   - Formalisation and Proof of Numerical Programs
   - Formalisation of (Specification and Programming) Languages in Proof Assistants
   - Deductive Verification of Programs

Publications

Joint Inria project teams
   - Toccata




Principle investigator
   - FOST
   - HISSEO
   - DIM COQUELICOT -Convention Proje
   - GDRIM673/GT

Highlights
   - Formal Verification of Floating-Point Programs

Software & Patents
   - Caduceus: Caduceus Tool for C Program Verification
   - Coq.FP2: Coq.FP2
   - Flocq Library: Flocq Library
   - The Coquelicot library: The Coquelicot library
   - Pff library: Pff library


Ph.D. dissertations & Faculty habilitations
Faculty habilitation   - Deductive Formal Verification: How To Make Your Floating-Point Programs Behave

Contracts & Grants
   - CerPAN
   - FOST
   - HISSEO
   - VERASCO
   - DIM COQUELICOT -Convention Proje
   - FastRelax