University of Nottingham

University of Nottingham

Foundations of Programming

Postgraduate study for the degree of PhD is offered in the school�s main research areas and also in other fields such as computer performance, CASE tools, structured editors and natural language processing; the degree of MPhil (by thesis) is also available; postgraduates without sufficient training in computer science at 1st-degree level may be required to attend appropriate taught modules; the aim of the course is to make substantial gains in the effectiveness of mathematical reasoning and apply such gains to the construction of computer programmes; studying a PhD or MPhil in this area requires following this objective, and following the group's research format, which is currently structured around the following main themes: algebra of programming (the use of algebraic techniques for constructing, transforming and reasoning about programmes); functional programming (the theory and practice of functional programming languages such as Haskell); representation and reasoning in computer science; artificial intelligence (the development of fundamental logical techniques to represent and reason about computational processes).

Entry requirements

Relevant 1st degree.


Qualification Study mode Fee Course duration
MPhil Full-time £ 3,980 per Academic year (home fees) 2 years
MPhil Full-time £ 17,340 per Academic year (overseas fees) 2 years
PhD Full-time - 3 years

Campus details

Campus name Town Postcode Region Main campus Campus Partner
Jubilee Campus Nottingham NG8 1BB East Midlands

Key information

Postgraduate Enquiry Team
Telephone number: 
0115 951 5559