Past and ongoing students
Kim-Quyen Ly
- Internship on the certification of polynomial interpretations on
rationals
Cody Roux
Julien Bureaux
- Internship on certifying the termination of Haskell programs (ENS
Paris, 2009) [slides]
Antoine
Taveneaux
Pierre-Yves
Strub
Colin Riba
Sébastien Hinderer
Last updated on 14 November 2011.
Come back to main page.