Graham Hutton

    Book 2e Cover     YouTube channel

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 my research 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 director of the Midlands Graduate School, board member of the Haskell Foundation, an editor of the Journal of Functional Programming, 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.

Simplicity is a great virtue but it requires hard work to achieve it and education to appreciate it. And to make matters worse: complexity sells better. -- Edsger Dijkstra


Activities

Current activities:



Publications

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



Videos

YouTube channel: Teaching videos: Computerphile videos: Other videos:

Teaching

Current teaching:

Previous teaching:



People

Research fellows:

Current PhD students:

Former PhD students:



Projects

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



Personal

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


Contact

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

Twitter: @haskellhutt
YouTube: @haskellhutt
Email: graham.hutton@nottingham.ac.uk
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