Home page of Sylvie Boldo
Who am I?
I am an INRIA researcher
(Chargée de recherche) in Orsay (near Paris), France.
I work at the INRIA Futurs
research unit at the Laboratoire de
Recherche en Informatique (Université Paris Sud), in the team Démons which is part of the Proval project.
Research interests:
- Floating-point arithmetic (see here
for an introduction by D. Goldberg).
- Formal methods, and especially proof assistants like Coq and PVS.
- Formal verification of programs, especially the Why and Caduceus tools.
My ultimate goal is to obtain
formal guarantees on programs that use floating-point
arithmetic.
|
|
|