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.
Contributions
2025
‹Programming›
2024
2023
SPLASH
ICFP
‹Programming›
- Committee Member in Program Committee within the Research Papers-track
- Session Chair of Research Papers 6 (part of Research Papers)
- Author of Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity within the Research Papers-track
- Steering Committee Member in Steering Committee
2022
‹Programming›
- Session Chair of ‹Programming› Online Thursday (part of Research Papers)
- Committee Member in Steering Committee
- External Reviewer in Research Papers within the Research Papers-track
- Author of Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity within the Research Papers-track
2021
ARRAY
SPLASH
ICFP
‹Programming›
2020
ARRAY
ECOOP
ICFP
2019
PLMW
TyDe
ARRAY
2018
SPLASH
ICFP
- Author of What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl) within the Research Papers-track
- Session Chair of Wednesday Keynote (part of Keynotes and Reports)
- ICFP'17 General Chair in Steering Committee
- Author of Relational Algebra by Way of Adjunctions within the Research Papers-track
NPFL
Bidirectional Transformations (bx)
2017
ICFP
ARRAY
2016
SA-MDE
ICFP
2015
DBPL
Blog Posts
- ICFP 2017 Tue 19 Sep 2017
- Using Slack at ICFP 2017 Tue 19 Sep 2017
- Cafes Mon 28 Aug 2017
- St Giles' Fair Wed 17 May 2017
- Sightseeing Wed 17 May 2017
- Walking, running, punting Wed 17 May 2017
- Pubs and bars Wed 17 May 2017
- Restaurants Wed 17 May 2017
- ICFP 2017 local information Wed 17 May 2017
- Proeflokaal in Amsterdam Sat 29 Oct 2016