Research course

Functional Programming Laboratory

University of Nottingham · School of Computer Science

Entry requirements

2:1 (or international equivalent) in computer science or other relevant area.

Months of entry

January, December, November, October, September, August, July, June, May, April, March, February

Course content

The Functional Programming Lab (FP Lab) aims 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.
We offer a number of interesting PhD projects in the FP Lab and an excellent working environment. We organize a weekly informal lunch meeting, regular seminars and thematic meetings and annual away days.

Information for international students

Language requirements: IELTS 6.5 (no less than 6.0 in any element).

Qualification and course duration


full time
36 months


full time
24 months

Course contact details

Professor Graham Hutton/ Dr Thorsten Altenkirch
+44 (0)115 84 66516/+44 (0)115 95 14220