Welcome to my research page.

I am a post-doc in the Deducteam in the newly formed LMF (Laboratoire M├ęthodes Formelles), located in Saclay (south of Paris).
I work on the SMTCoq project under the supervision of Chantal Keller and Valentin Blot.
I used to be a Phd student at IRIF (Paris) and a post-doc in the Gallinette Inria team (Nantes).
You may find here a short curriculum vitae.