The University of Nottingham Homepage The University of Nottingham Homepage School of COmputer Science Homepage
Functional Programming Laboratory
Main Menu


School of Computer Science, University of Nottingham

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, and type theory.

Further information about the group is available via the menu on the left, which provides links to the members, our seminar series and informal lunch meetings, a list of completed PhD theses, and our teaching activities.  We are always keen to have visitors - please get in touch if you would like to visit the group and give a talk!