Past and ongoing students

Kim-Quyen Ly

• Internship on the certification of polynomial interpretations on rationals

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-en] [slides-fr]

Pierre-Yves Strub

• PhD thesis Théorie des types et procédures de décisions (Ecole Polytechnique, 2005-2008)
• 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)

Sébastien Hinderer

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

Last updated on 14 November 2011. Come back to main page.