Registered user since Wed 21 Dec 2016
I’m Professor of Computer Science at the University of Nottingham, where I co-lead the Functional Programming Lab.
I’m an editor of the Journal of Functional Programming, member of IFIP working group 2.1 on Algorithmic Languages and Calculi, and have served as Vice-Chair of the ACM Special Interest Group on Programming Languages and Steering Committee Chair of the International Conference on Functional Programming. My research interests are in developing simple but powerful techniques for writing and reasoning about programs, by recognising and exploiting their underlying mathematical structure. My book Programming in Haskell was published by Cambridge University Press in 2007.
View general profile