Snail mail IRILL
4 Place Jussieu
Barre 15/16, 1er étage
75005 Paris
Office Irill, 15-16

About me

I am a R&D engineer at OCamlPro since April 2017.

I was previously a postdoctoral research scholar at the University of Iowa where I worked on the model checker Kind 2 with Cesare Tinelli. I did my PhD at the LRI in Université Paris-Sud under the direction of Sylvain Conchon and Fatiha Zaïdi.

My area of research is formal methods, and my interests lie in model checking and satisfiability modulo theories (SMT).

PhD thesis

I've defended my thesis Invariants Inference for Model Checking of Parameterized Systems on September 29th, 2014. The thesis and the slides are available below in french. The benchmarks used as well as the source code can be found on Cubicle's website.

Thesis Slides