National honours
- Order of the British Empire (OBE), June 2022, in Queen’s Platinum Jubilee birthday honours, for services to education and to computer science. See BCS blog, CAS blog, and Cambridge University post.
Fellowships
- Distinguished Honorary Fellow of the Cambridge University Department of Computer Science and Technology (2022).
- Distinguished Fellow of the BCS (2017)
- Fellow of the Royal Society (2016)
- Fellow of the ACM (2004)
Honorary Degrees
I am privileged to have received the following honorary degrees:
- Honorary DEd from the University of Bath (2017); Chris Budd’s oration; video
- Honorary DSc from the University of Kent, Canterbury (2017)
- Honorary DSc from the Queen Mary University of London (2017)
- Honorary DSc from the University of Glasgow (2013); Muffy Calder’s oration
Awards
- The 2024 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Niki Vazou, Eric Seidel, Ranjit Jhala, and Dimitrios Vytiniotis), for Refinement Types for Haskell, ICFP 2014.
- The 2016 ACM SIGPLAN Programming Languages Achievement Award
- The 2019 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Simom Marlow and Satnam Singh), for Runtime support for multicore Haskell, ICFP 2009.
- The 2016 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn), for Simple unification-based type inference for GADTs, ICFP 2006.
- The 2015 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Manuel M. T. Chakravarty and Gabriele Keller), for Associated Type Synonyms, ICFP 2005.
- The 2014 ACM SIGPLAN Distinguished Service Award
- The 2014 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Ralf Lämmel), for Scrap More Boilerplate: Reflection, Zips, and Generalised Casts, ICFP 2004.
- The 2011 ACM SIGPLAN Programming Languages Software Award (shared with Simon Marlow)
- The 2003 ACM SIGPLAN Most Influential POPL Paper Award (shared with Philip Wadler), for Imperative functional programming, POPL 1993.