4 Place Jussieu
Barre 15/16, 1er étage
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).