Graham Hutton
   
   
Professor of Computer Science at the
University of Nottingham
Co-leader of the Functional
Programming Lab
"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
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 an editor of the Journal of Functional Programming,
board member of the Haskell Foundation,
and an ACM Distinguished Scientist. I've also
served as vice-chair of the ACM Special Interest Group on Programming
Languages, steering committee chair of the International
Conference on Functional Programming, and director of the Midlands
Graduate School.
Current work:
Recent work:
Current activities:
-
Editor, Journal of Functional Programming, 2014-date
-
Editorial board, ACM International Conference Proceedings Series, 2011-date
-
Board member, Haskell Foundation, 2022-date
-
Advisory board, EPSRC Network on Model Driven Engineering, 2022-date
-
Program committee, International Conference on Functional Programming, Ljubljana, 2022
-
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, 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 boys. 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 |
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 |