Mrs BOLDO Sylvie

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 Leadership positions    - Laboratory council member 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