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
Agents Laboratory
University of NottinghamJubilee CampusWollaton Road Nottingham, NG8 1BB
For all enquires please visit: www.nottingham.ac.uk/enquire