Graham Hutton

    Book 2e Cover     infinity and beyond

Professor of Computer Science at the University of Nottingham

Co-leader of the Functional Programming Lab

Program chair of MPC 2019 in Portugal

My research interests are in the mathematics of program construction. The aim of this area is to develop simple but powerful techniques for writing and reasoning about computer programs, by recognising and exploiting their underlying mathematical structure. Most of my work takes place in the context of functional languages such as Haskell, Agda and Coq.

I'm an editor of the Journal of Functional Programming, member of IFIP working group 2.1 on Algorithmic Languages and Calculi, and an ACM Distinguished Scientist. I've also served as vice-chair of the ACM Special Interest Group on Programming Languages, and steering committee chair of the International Conference on Functional Programming.

Current and recent work:


Current activities:

Recent activities:


A list of publications, bibtex entries, and citations, is available, or you can select below:



Current teaching:

Previous teaching:


Research fellows:

Current PhD students:

Former PhD students:


The 'mind the gap' project was featured in impact magazine.


I'm from Glasgow in Scotland, and received a PhD in Computing Science from the University of Glasgow. I then spent a few years 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 teenage boys. In my spare time I enjoy cooking, and restoring our house.


Twitter: @haskellhutt
Email:   (please read this before emailing)
Phone: I don't have an office phone; my number in the university directory is inactive
Address: Professor Graham Hutton
School of Computer Science
University of Nottingham
Jubilee Campus, Wollaton Road
Nottingham NG8 1BB
United Kingdom