Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
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: http://www.cs.nott.ac.uk/~gmh/

Contributions

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 2018Author of Parametric Polymorphism and Operational Improvement within the Research Papers-track
Show activities from other conferences

ICFP 2018-profile
View general profile