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 2016 ACM SIGPLAN Programming Languages Achievement Award
- The 2016 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Dimitrios Vytiniotis, Stephanie Weirich, and Geoffrey Washburn)
- The 2015 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Manuel M. T. Chakravarty and Gabriele Keller)
- The 2014 ACM SIGPLAN Distinguished Service Award
- The 2014 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Ralf Lämmel)
- 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)