Who am I?
I am an Inria research director (Directrice de recherche) in computer science at Gif-sur-Yvette, France, in the Toccata project. I work at the Inria Saclay - Île-de-France research unit and in the LMF laboratory at the Université Paris-Saclay.
My research keywords are
- Formal Proof (in Coq)
- Floating-Point Arithmetic (including rounding, overflow, underflow)
- Formalization of Mathematics
- Program verification
