Guillaume Bury - PhD Student

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.



You can find my CV here