糖心原创

Functional Programming Lab

Completed PhD Theses

Former students of the Functional Programming Lab have completed the following PhD theses, with the dates referring to the successful viva:

  • Colm Baston: (January 2025)
  • Brandon Hewer: (PDF) (June 2024)
  • Filippo Sestini: (July 2023)
  • Gun Pinyo: (October 2022)
  • Guerric Chupin: (April 2022)
  • Martin Handley: (June 2020)
  • Jakob von Raumer: (Nov 2019)
  • Jonathan Fowler:   (April 2019)
  • Jan Bracker: (Dec 2018)
  • Ivan Perez Dominguez: (July 2018)
  • Gabe Dijkstra: (February 2017)
  • Paolo Capriotti: (November 2016)
  • Ambrus Kaposi: (November 2016)
  • Jennifer Hackett: (October 2016)
  • Bas van Gijzel:  (PDF) (January 2016)
  • Laurence Day:  (PDF) (October 2015)
  • Florent Balestrieri: (June 2015)
  • Nicolai Kraus: (April 2015)
  • Christian Sattler: (March 2015)
  • Li Nuo: (January 2015)
  • John Capper: (July 2014)
  • Liyang Hu: (June 2012)
  • George Giorgidze: (April 2012)
  • Neil Sculthorpe: (July 2011) 
  • Rawle Prince: (September 2010)
  • Alexander S. Green: (July 2010)
  • Ondrej Rypacek: (October 2009)
  • Mauro Jaskelioff: (September 2009)
  • James Chapman: (January 2009)
  • Wouter Swierstra: (December 2008)
  • Catherine Hope:  (PDF) (August 2008)
  • Peter Morris: Constructing universes for generic programming (September 2007)
  • Pablo Nogueira:  (PDF) (June 2006)
  • Joel Wright:  (PDF) (Nov 2005)
  • Paul Blampied:  (PDF) (Mar 2000)
  • Anthony Daniels:  (PDF) (Dec 1999)
  • Colin Taylor:  (PDF) (Dec 1998)
  • Benedict Gaster:  (PDF) (Jul 1998)

Functional Programming Lab

The 糖心原创
School of Computer Science
Jubilee Campus
Nottingham, NG7 1BB


telephone: +44 (0) 115 95 14220
email:fp-lunch@cs.nott.ac.uk