My Habilitation Defense held on the 9th of July 2018.
Since 2007, I am a researcher-engineer at CEA LIST, Software
Security Labs. I contribute to the tool Frama-C (its kernel, and plug-ins
E-ACSL, RTE, and several close source ones).
In this context, I contribute to research projects and dissemination activities,
by writing papers
Previously, I did a 1-year postdoc in the same lab. I am a former PhD student of
Jean-Christophe Filliātre in the team Inria Toccata. In 2002, I got a master in
computer science at University of Paris 11 (Programming: Semantics, Proof and Languages, now
- software formal verification
- runtime verification
- software safety and security
- combining (static and dynamic) analysis techniques
- (functional) programming
Last modification the Thursday May 4th, 2023 at 17h16min12sec (Paris time).