Graham Hutton

Registered user since Wed 21 Dec 2016

Name: Graham Hutton

Bio: I’m Professor of Computer Science at the University of Nottingham, where I co-lead the Functional Programming Lab. My research interests are in developing simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. 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.

Country: United Kingdom

Affiliation: University of Nottingham, UK

Personal website:


Haskell 2020Committee Member in Program Committee within the Haskell 2020-track
POPL 2020Author of Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell within the Research Papers-track
Haskell 2018Committee Member in Program Committee within the Haskell 2018-track
Author of AutoBench: Comparing the Time Performance of Haskell Programs within the Haskell 2018-track
Author of Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) within the Haskell 2018-track
ICFP 2019Author of Call-By-Need is Clairvoyant Call-By-Value within the Research Papers-track
Onward! 2018Committee Member in Program Committee within the Onward! Essays-track
ICFP 2018Author of Parametric Polymorphism and Operational Improvement within the Research Papers-track
ICFP 2017Session Chair of Functional Programming Techniques (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
PADL 2017Author of Failing Faster: Overlapping Patterns for Property-Based Testing within the PADL-track
POPL 2016Committee Member in Steering Committee