Graham Hutton

Graham Hutton is a Professor of Computer Science at the University of Nottingham, where he leads the Functional Programming Lab and serves as Director of the Midlands Graduate School. He co-founded the Quotient Haskell project and maintains key roles in Journal of Functional Programming editorial work and Haskell Foundation governance.

• Co-leader, Functional Programming Lab (2008–date)
• Director, Midlands Graduate School (2023–date)
• ACM Distinguished Scientist
• Principal investigator for £912k EPSRC project (2024–2027)

His research focuses on mathematical approaches to program construction, particularly through functional languages like Haskell and Agda. He develops techniques for compiler correctness, type system design, and program optimization, with recent work on quotient polymorphism and denotational cost models.

Key article themes include:

• Compiler derivation from formal semantics
• Effect handling in functional languages
• Graph-based code generation over traditional tree structures
• Quotient type systems with SMT solver integration
• Concurrency semantics using choice trees
• Operational improvement with parametric polymorphism

Scientific awards include:

• ACM Distinguished Scientist (2013)
• Best Paper & Best Student Paper (2018)
• EPSRC funding for compiler correctness projects

He advises current PhD students in compiler calculation and memory safety, while maintaining extensive educational contributions through his widely-used textbook Programming in Haskell and open course materials.