Welcome to my web page
I am a PhD student in computer science at the University of Paris Diderot, studying the integration of rewriting techniques inside SMT solvers, under the direction of Gilles Dowek and David Delahaye. I am currently working in Deducteam at ENS Cachan.
I studied at Ecole Normale Supérieure in Paris, France, where I got a research Master in computer science.