Registered user since Wed 2 Mar 2016
I am Professor of Computing in the Department of Computer Science at the University of Oxford. I 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 also lead the Algebra of Programming research group. I am Editor-in-Chief of the Journal of Functional Programming, Past Vice Chair of ACM SIGPLAN, Past Chair of IFIP WG2.1. Before taking up this post in 1999, I held lectureships at Oxford Brookes University and the University of Auckland, New Zealand.
|DSLDI 2018||Committee Member in Program Committee within the DSLDI 2018-track|
|SPLASH 2018|| Composable References and the Yoneda Lemma|
Speaker in Speakers within the SPLASH-I-track
|Show activities from other conferences|
View general profile