Professor of Computing at the University of Oxford. Director of the part-time professional master's programme in Software Engineering. Head of the Programming Languages research theme. Editor-in-Chief of the Journal of Functional Programming. Past Vice Chair of ACM SIGPLAN, and former Chair (6 years) and Secretary (13 years) of IFIP Working Group 2.1 on Algorithmic Languages and Calculi.