Welcome to my home page !

I graduated from the Ecole Polytechnique, and currently, I am a PhD student in the Démons team at the LRI, in Orsay (France) (a.k.a. the Proval project at INRIA ^^).

I am working with Evelyne Contejean and Sylvain Conchon on the formal proof of a new automated prover dedicated to program certification : Ergo. You'll find more details about my work on the Research page.