Functional Programming Lab
  • Print

Welcome to the Functional Programming Lab



About Us

The aim of the Functional Programming Lab is to develop simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. Most of our work takes place within the context of functional languages such as Haskell and Agda, which are at the forefront of programming language research, and provide ideal vehicles for research of this nature.

Our research spans a range of topics in the area of functional programming, including:

  • category theory
  • corecursive structures
  • compiler correctness
  • declarative debugging
  • hybrid modelling
  • reactive programming
  • mathematical logic
  • program optimisation
  • program transformation
  • proof assistants
  • quantum computing
  • type theory.

Further information about the group please see the list of our members, our seminar series and informal lunch meetings, the list of completed PhD theses, and the link to the Midland Graduate School, an annual summer school (see also below).

We are always keen to have visitors - please get in touch if you would like to visit the group and give a talk!

Midlands Graduate School

The Midlands Graduate School (MGS) in the Foundations of Computing Science was established in 1999 as a collaboration between researchers at the Universities of Birmingham, Leicester and Nottingham, and in 2007 was joined by the University of Sheffield. 

For more information, see our page on Midlands Graduate School.


Connect With Us


Find Us

Directions to Jubilee Campus

Functional Programming Lab

The University of Nottingham
School of Computer Science
Jubilee Campus
Nottingham, NG7 1BB

telephone: +44 (0) 115 95 14220