Accueil
Évènements récents
New ! From Axioms to Rewriting Rules, soumis. .pdf
New ! L'action exploratoire Inria Deducteam dont je suis membre possède maintenant un site web.
. Experimenting with deduction modulo. In CADE 2011, volume 6803 de LNAI, pages 162-176. .pdf .bib ©Springer.
Présentation
Je suis maître de conférence à l'Ensiie depuis le premier septembre 2010. Je fais partie de l'équipe CPR du laboratoire Cédric.
Je suis également membre de l'action exploratoire Inria Deducteam créée le 1er décembre 2011.
Je suis docteur de l'université Henri Poincaré - Nancy 1. Vous pouvez télécharger mon manuscrit de thèse.
J'ai effectué en 2009-2010 un post-doctorat au Max Planck Institut für Informatik dans le groupe de recherche Automation of Logic dirigé par Christoph Weidenbach.
Contacts
On peut me contacter à l'adresse suivante :
Énsiie1 square de la résistance
91025 Évry cedex
par téléphone au (+33) 01 69 36 73 70, ou par mail à guillaume.burel@ens-lyon.org. Utilisez ma clef PGP.
Intérêts en recherche
Mon sujet de thèse portait sur les systèmes de démonstrations ordonnées, notamment à l'aide du cadre des systèmes canoniques abstraits introduit par Claude Kirchner et Nachum Dershowitz, et la simplification des démonstrations via l'intégration du calcul, comme en déduction modulo. Mes intérêts en recherche sont la déduction automatique, la mécanisation du raisonnement, la théorie de la démonstration et la logique en général.
En ce moment, je m'intéresse à la combinaison de théories via la déduction modulo.
Je suis membre de l'Arc Inria Corias qui porte sur la conception d'assistants à la démonstration basés sur la surdéduction modulo.
Voici aussi un lien vers les différents publications et rapports que j'ai rédigés.
Maria Paola Bonacina possède une page sur les systèmes canoniques abstraits.
Enseignements
J'ai été de 2006 à 2009 moniteur à l'université Henri Poincaré. Quelques documents de cours sont disponibles sur ces pages.
Divers
Investissez dans le savon !
Et pourquoi pas un poème :
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)
