Research interests
- Floating-point arithmetic.
- Formal methods and proof assistants like Coq.
- Formal verification of programs and numerical programs.
Responsabilities
- editorial committee of the popular science web site Interstices (in French only).
- head of the FOST project (Formal prOofs about Scientific compuTations).
Who am I?
I am an INRIA researcher (Chargée de recherche) in Orsay, 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).
