Co-Editor-in-Chief of The Art, Science, and Engineering of Programming, Editor of the Journal of Functional Programming and Compositionality. Member of IFIP Working Group 2.1 and 2.11, and former Vice Chair of ACM SIGPLAN.
Research Experience
Professor of Computer Science and Governing Body Fellow at Kellogg College. Before 1999, he held lectureships at Oxford Brookes University and the University of Auckland, New Zealand. Currently, he is a lecturer on the part-time professional master’s programme in Software Engineering at the University of Oxford.
Background
Research interests include programming methodology, functional languages, and object-oriented languages, as well as recurring patterns in software structure. He leads the Algebra of Programming research group.