Links to some PhD and Habilitation Theses

• Burak Ekici. Certification de programmes avec des effets calculatoires. 9 Décembre 2015, LJK, Grenoble.
• Bertrand Boisvert. Catégories, lambda-calcul typé, et Preuves pour la Transformation de Graphes Attribués. 30 septembre 2013, IRIT, Toulouse.
• Brice Boyer. Multiplication matricielle efficace et conception logicielle pour la bibliothèque de calcul exact LinBox. 1er juin 2012, LJK, Grenoble.
• Hicham Bensaid. Utilisation des schématisations de termes en déduction automatique. 17 juin 2011, LIG, Grenoble.
• Vincent Aravantinos. Schémas de Formules et de Preuves en Logique Propositionnelle. 23 septembre 2010, LIG, Grenoble.
• Jean-Guillaume Dumas. Contributions au calcul exact intensif. Habilitation. 20 juillet 2010, LJK, Grenoble.
• Anna Urbanska-Marszalek. Algorithmes hybrides et adaptatifs pour l'algèbre linéaire formelle. 27 avril 2010, LJK, Grenoble.
• Alexandre Vautier. Fouille de données sans information a priori sur la structure de la connaissance. 8 février 2008, Irisa, Rennes.
• Clément Pernet. Algèbre linéaire exacte efficace : le calcul du polynôme caractéristique. 27 septembre 2006, LMC, Grenoble.
• Jesús María Aransay Azofra. Razonamiento mecanizado en álgebra homológica. April 2006, Universidad de La Rioja.