University of Nottingham

University of Nottingham

Functional Programming Laboratory

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.

Course modules

Assessment methods

Qualifications

Qualification Study mode Start month Fee Course duration
PhD Full-time September 2017 - 3 years
MPhil Full-time September 2017 - 2 years

Campus details

Campus name Town Postcode Region Main campus Campus Partner
University Park Campus Nottingham NG7 2RJ East Midlands

Get in touch

Remember to mention TARGETpostgrad when contacting universities.

Key information

Contact: 
Postgraduate Enquiries
Telephone number: 
+44 (0) 115 951 5559