Browser does not support script.
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
telephone: +44 (0) 115 951 4251
fax: +44 (0) 115 951 4254