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.
Algorithmic Problem Solving
Functional Programming Laboratory
University of NottinghamJubilee CampusWollaton Road
Nottingham, NG8 1BB
For all enquires please visit:
Connect with the University of Nottingham through social media and our blogs.
Campus maps | More contact information | Jobs
Browser does not support script.