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 technique
- (functional) programming
Last modification the Wednesday December 23th, 2015 at 21h14min07sec (UTC time).