Last updated on 19th October 2014

Activities; Publications; Videos; Projects; Students; Teaching; Personal; Contact; Google Scholar Maps; Weather.

Graham Hutton

      Book Cover       Book Cover - Japanese       Book Cover - Korean

I'm Professor of Computer Science at the University of Nottingham, where I co-lead the Functional Programming Lab and am the Director of Research.

My research interests are in functional programming, with an emphasis on formally-based approaches to program construction and verification. My aim is to develop simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. My work covers a range of topics in this area, including program optimisation, compiler correctness, recursion operators, coinductive types, space and time complexity, exceptions and interrupts, concurrent programming, relational programming, and functional parsing.

Current and recent work:


Current activities:

Recent activities:


A list of publications, bibtex entries, and citations, is available, or you can jump directly to a particular item:




Current PhD students:

Former PhD students:

I'm always keen to hear from excellent students with experience in functional programming who would like to study for a PhD in any of my research areas.


Current teaching:

Previous teaching:


I'm originally from Glasgow in Scotland, and received a BSc and PhD in Computing Science from the University of Glasgow. I then spent a few years in research positions in Gothenburg and Utrecht, before moving to Nottingham where I am now Professor of Computer Science. I'm married to the lovely Annette, and we have two boys. In my spare time I enjoy cars, cooking, and football. Both of our boys play in football teams, and we are all season ticket holders for Nottingham Forest.


Phone: +44 (0)115 951 4220
Address: Prof Graham Hutton
School of Computer Science
University of Nottingham
Jubilee Campus, Wollaton Road
Nottingham NG8 1BB
United Kingdom
Office: A09