Registered user since Wed 2 Mar 2016
I am Professor of Computing in the Department of Computer Science at the University of Oxford. I also lead the Algebra of Programming research group. I have served as Deputy Head of Department, and am currently Director of the Software Engineering Programme, which offers part-time professional Masters’ degrees in Software Engineering and in Software and Systems Security. I am current Editor-in-Chief of the Programming Journal, Past Editor-in-Chief of the Journal of Functional Programming, Past Chair of the ICFP Steering Committee, Past Vice Chair of ACM SIGPLAN, Past Chair of IFIP WG2.1. Before taking up my current post in 1999, I held lectureships at Oxford Brookes University and the University of Auckland, New Zealand.