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 Start month Fee Course duration
PhD Full-time - 3 years
MPhil Full-time £ 3,980 per Academic year (home fees) 2 years
MPhil Full-time £ 17,340 per Academic year (overseas fees) 2 years

Campus details

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

Get in touch

Remember to mention TARGETpostgrad when contacting universities.

Key information

Postgraduate Enquiry Team
Telephone number: 
0115 951 5559