Jury

President
  • Lawrence C. Paulson
Reviewers
  • Gérard Berry
  • Christine Paulin-Mohring
Examiners
  • Dan R. Ghica
  • Laurent Théry
Advisors
  • Damien Pous
  • Jean-Bernard Stefani

Thesis

My thesis was entitled:
Kleene algebras, Rewriting modulo AC and Circuits in Coq.

This PhD was supervised by Damien Pous and Jean-Bernard Stefani in the team Sardes of Inria Grenoble - Rhône-Alpes.

Defense

My defense took place on February 17th 2012 at Inria in Grenoble.

Final manuscript Slides