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

Contributions

Haskell 2023 Committee Member in Program Committee within the Haskell 2023-track
FUNARCH 2023 Program Chair in Program Committee within the FUNARCH 2023-track
ICFP 2022 Committee Member in Program Committee within the ICFP Papers and Events-track
Author of Monadic Compiler Calculation within the ICFP Papers and Events-track
ICFP 2021 Author of Calculating Dependently-Typed Compilers (Functional Pearl) within the Research Papers-track
Haskell 2020 Committee Member in Program Committee within the Haskell 2020-track
POPL 2020 Author of Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell within the Research Papers-track
ICFP 2019 Author of Call-By-Need is Clairvoyant Call-By-Value within the Research Papers-track
Onward! 2018 Committee Member in Program Committee within the Onward! Essays-track
ICFP 2018 Author of Parametric Polymorphism and Operational Improvement within the Research Papers-track
Haskell 2018 Committee 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 2017 Session Chair of Functional Programming Techniques (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
PADL 2017 Author of Failing Faster: Overlapping Patterns for Property-Based Testing within the PADL-track
POPL 2016 Committee Member in Steering Committee