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.
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
-
Editorial board, ACM International Conference Proceedings Series, 2011-date
-
Advisory board, EPSRC Network on Model Driven Engineering, 2022-date
-
Award committee, ACM SIGPLAN Distinguished Eductator Award, 2021-2024
-
Program co-chair, Functional Software Architecture - FP in the Large, Seattle, 2023.
-
Program committee, Haskell Symposium, Seattle, 2023
-
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
-
Editorial board, Journal of Functional Programming, 2010-2013
-
Co-organiser, Midlands Graduate School, Nottingham, 2018
-
Keynote speaker, Haskell eXchange, London, 2016
-
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, Onward! Essays, Boston, 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 boys. In my spare time I enjoy
restoring our house and cooking.
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 |