Past and ongoing students

Kim-Quyen Ly

• PhD thesis Automated verification of termination certificates (University Joseph Fourier, 2011-2014)
• Internship on the certification of polynomial interpretations on rationals (2010)

Rémi Nollet

• Internship Certification des fonctions générées par Moca (ENS Lyon, 2012)

Frédéric Tuong

• Internship on the generation of processor simulators (2011)

Cody Roux

• PhD thesis Terminaison à base de tailles: sémantique et généralisations (INRIA, 2008-2011)

Julien Bureaux

• Internship on certifying the termination of Haskell programs (ENS Paris, 2009) [slides]

Antoine Taveneaux

• Internship Etude de bornes supérieures de complexité de programmes établies par typage (ENS Lyon, 2009) [slides]

Pierre-Yves Strub

• PhD thesis Théorie des types et procédures de décisions (Ecole Polytechnique, 2005-2008, EADS Foundation grant)
• Master thesis Intégration de procédures de décision en théorie des types (University Paris VII, 2003)

Colin Riba

• PhD thesis Définitions par réécriture dans le lambda-calcul: confluence, réductibilité et typage (INPL, 2005-2007, MESR grant)

Sébastien Hinderer

• Master thesis Certification des preuves de terminaison par interprétations polynomiales (University Nancy I, 2004)