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/
|POPL 2020||Author of Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell within the Research Papers-track|
|Show activities from other conferences|