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).
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|
|Campus name||Town||Postcode||Region||Main campus||Campus||Partner|
|Jubilee Campus||Nottingham||NG8 1BB||East Midlands|
Postgraduate Enquiry Team
0115 951 5559