Welcome to my research page.

I am a post-doc in the Deducteam in the LSV and the LRI, which will merge soon. I work on the SMTCoq project under the supervision of Chantal Keller and Valentin Blot.


A short (and old) research statement.

firstname.name@inria.fr