Emeritus Professor of Computing Science,
Path-finding algorithms, mathematics of program construction, algorithmic problem solving
Relational theory of data types, generic programming, applications of regular algebra, syntax analysis, language theory, category theory, fixed-point calculus
Browser does not support script.
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