Who am I?
|
I am an INRIA researcher (Chargée de recherche) in Orsay (near Paris), France, in the Proval project. I work at the INRIA Saclay - Île-de-France research unit and in the Laboratoire de Recherche en Informatique (Université Paris Sud), in the team Démonstration et Programmation. |
|
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.