Graham Hutton

    Book 2e Cover     program recursion

Professor of Computer Science at the University of Nottingham

Co-leader of the Functional Programming Lab

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 work:

Recent work:


Current activities:

Recent activities:


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


Teaching videos: Computerphile videos: Other videos:


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 Professor of Computer Science. I'm married to the lovely Annette, and we have two boys. In my spare time I enjoy cooking, and restoring our house.


If you are a student or PhD applicant, please read these notes before sending me an email.

Twitter: @haskellhutt
Phone: I don't have an office phone and my university number is inactive
Address: Professor Graham Hutton
School of Computer Science
University of Nottingham
Jubilee Campus, Wollaton Road
Nottingham NG8 1BB
United Kingdom