Guillaume BUREL's Homepage (Guillaume Burel's photo)

Home

Recent topics

with Ali Assaf. Translating HOL to Dedukti, presented at the workshop PxTP'15  EPTCS

with Gilles Dowek and Ying Jiang. A completion method to decide reachability in rewrite systems, accepted at FroCoS'15.

Presentation

I am maître de conférence (assistant professor) at the Ensiie since September 2010. I am part of the CPR team of the Cédric lab.

I am also member of the Inria AE Deducteam, created since December 1st, 2011.

I defended my PhD at the Université Henri Poincaré - Nancy 1. My PhD manuscript is available for download.

I was in 2009-10 a post-doc fellow at the Max Planck Institut für Informatik in the research group Automation of Logic headed by Christoph Weidenbach.

Contacts

I can be found at the following address:

Énsiie
1 square de la résistance
91025 Évry cedex

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 am a member of the Inria Arc Corias about the conception of proof assistants based on superdeduction modulo.

Here is some link to the different papers I wrote.

Maria Paola Bonacina maintains a page about the abstract canonical systems.

Teaching

From 2006 to 2009, I was teaching assistant at the Henri Poincaré University. Some related documents are available on this page (in French).

Miscellaneous

Invest in soap!

Why not a poem ? (In french.)

L'Ulyssado

Je suis le ténébreux qui fit un beau voyage,
Le prince d'Aquitaine, qui conquit la toison.
Ma seule étoile est morte. Plein d'usage et raison,
Porte le soleil noir le reste de ton âge !

Dans la nuit du tombeau de mon petit village,
Rends-moi le Pausilippe ! Et en quelle saison
La fleur qui plaisait tant, dans ma pauvre maison,
Et la treille où le pampre... et beaucoup davantage !

Suis-je Amour ou Phébus ?... Qu'ont bâti mes aïeux ?
Mon front est rouge encore... le front audacieux !
J'ai rêvé dans la grotte où plaît l'ardoise fine.

Et j'ai deux fois vainqueur vu le Tibre latin
Modulant tour à tour sur le mont Palatin
Et soupirs de la sainte, et doulceur angevine.



Gérchim de Nerlay (Claire Grivet)