School of Computer Science

Foundations of Programming


Foundations of Programming (FoP) aims to make substantial gains in the effectiveness of mathematical reasoning and apply such gains to the construction of computer programs.

FoP is comprised of three independent research groups:

The group is a founder member of the Midlands Graduate School in the Foundations of Computer Science, which provides postgraduate courses for PhD students in theoretical computer science.


School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit: