Graham Hutton
   
   
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
Current work:
Recent work:
Current activities:
-
Director, Midlands Graduate School, 2023-date
-
Board member, Haskell Foundation, 2022-date
-
Editor, Journal of Functional Programming, 2014-date
-
Co-editor, JFP Special Issue on Program Calculation, 2023-2024.
-
Program co-chair, Functional Software Architecture - FP in the Large, Seattle, 2023.
-
Program committee, Haskell Symposium, Seattle, 2023
-
Editorial board, ACM International Conference Proceedings Series, 2011-date
-
Award committee, ACM SIGPLAN Distinguished Eductator Award, 2021-2024
-
Advisory board, EPSRC Network on Model Driven Engineering, 2022-date
-
Steering committee, Mathematics of Program Construction, 2017-date.
-
Member, IFIP Working Group 2.1 on Algorithmic Languages and Calculi, 2004-date
-
Member, EPSRC Peer Review College, 2006-date
Recent activities:
-
Vice-chair, ACM Special Interest Group on Programming Languages, 2009-2012
-
Co-organiser, Midlands Graduate School, Nottingham, 2018
-
Program chair, Mathematics of Program Construction, Porto, 2019
-
Program committee, International Conference on Functional Programming, Ljubljana, 2022
-
Program committee, Haskell Symposium, New Jersey, 2020
-
Program committee, Haskell Symposium, St Louis, 2018
-
Program committee, International Conference on Functional Programming, Oxford, 2017
-
Steering committee chair, International Conference on Functional Programming, 2010-2012
-
Steering committee, Principles of Programming Languages, 2009-2015
-
Steering committee, Programming Language Design and Implementation, 2009-2015
-
External examiner, University of Sheffield, 2015-2019
-
External examiner, University of Glasgow, 2013-2017
-
External examiner, University of Birmingham, 2010-2013
-
External examiner, University of York,
2008-2012
A list of publications,
bibtex entries,
and citations, is
available, or you can select below:
YouTube channel:
Teaching videos:
Computerphile videos:
Other videos:
Current teaching:
Previous teaching:
Research fellows:
Current PhD students:
Former PhD students:
-
Martin Handley, Efficiency Three Ways: Tested, Verified, and
Formalised, 2020
-
Jonathan Fowler, Narrowing in on Property-Based Testing, 2019
-
Jennifer Hackett, The Worker/Wrapper Transformation, 2017
-
Ambrus Kaposi, Type Theory in a Type Theory with Quotient Inductive Types, 2016
-
Laurence Day, The Modular Compilation of Effects, 2015
-
Liyang Hu, Compiling Concurrency Correctly, 2012
-
Mauro Jaskelioff, Lifting of Operations in Modular
Monadic Semantics, 2009
-
Catherine Hope, A Functional Semantics for Space and Time, 2008
-
Joel Wright,
Compiling and
Reasoning about Exceptions and Interrupts, 2005
-
Paul Blampied,
Structured
Recursion for Non-Uniform Data-Types, 2000
-
Anthony Daniels,
A
Semantics of Functions and Behaviours, 1999
-
Colin Taylor,
Formalising
and Reasoning about Fudgets, 1998
The 'mind the gap' project was featured in impact magazine.
- Mind the Gap:
Unified Reasoning About Program Correctness and Efficiency
Principal investigator, EPSRC, £411,000, 2016-2021
- Reasoning About
Exceptions and Interrupts
Principal investigator, EPSRC, £306,000, 2007-2010
- Midlands Graduate School in the Foundations of
Computing Science (2,
3)
Lead investigator, EPSRC, £39,000, 2007-2009
- British Colloquium for Theoretical
Computer Science
Co-investigator, EPSRC, £65,000, 2008-2010
- British Colloquium for Theoretical
Computer Science
Co-investigator, EPSRC, £24,000, 2005-2007
- IST Working Group on Applied Semantics II
Site leader, £250,000, 2003-2006
- Concurrent Haskell
Principal investigator, Microsoft Research, £25,000, 2001-2004
- ESPRIT Working Group on Applied Semantics
Site leader, £190,000, 1998-2002
- Structured Recursive Programming
Principal investigator, EPSRC, £11,000, 1997-2000
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 grown up sons. In my spare time I enjoy
cars, cooking, and restoring our house.
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 |