PhD Defense.

My defense took place on February 17th 2012 at Inria in Grenoble. The jury was composed by

• Gréard Berry (Rapporteur)
• Dan R. Ghica
• Christine Paulin-Mohring (Rapporteur)
• Lawrence C. Paulson
• Damien Pous (Encadrant)
• Jean-Bernard Stefani (Directeur)
• Laurent Théry

Manuscript (in english) .pdf and slides of the defense .pdf.

---