Welcome to my web page
I am a R&D engineer at OCamlPro, working on the flambda optimization framework for the OCaml compiler, as well as the Alt-Ergo automated theorem prover.
I have a PhD in computer science from the University of Paris Diderot, for my research on the integration of rewriting techniques inside SMT solvers, under the direction of Gilles Dowek and David Delahaye. You can take a look at my manuscript if you want, :)
I also studied at Ecole Normale Supérieure in Paris, France, where I got a research Master in computer science.