Contacts

by phone at +33 169 36 73 70, or by email at
guillaume.burel@ens-lyon.org. Please
use my PGP key.

Research interests

During my PhD, I have been working on ordered proofs systems,
particularly through the framework of the abstract canonical systems,
introduced by Claude Kirchner and Nachum Dershowitz, and the
simplification of proofs by the integration of computations, as in
deduction modulo. I am interested in automated deduction, reasoning
mechanization, proof theory and logic in general.

More recently, I am interested in the combination of theories
through deduction modulo.

I was a member of the Inria Arc
Corias
about the conception of proof assistants based on superdeduction
modulo.