Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 09:35 - 09:55 at Conference Room 1 - Session One

I am Director of the Software Engineering Programme, which offers part-time professional Masters’ degrees in Software Engineering and in Software and Systems Security. I am currently the Chair of Faculty of Computer Science. For the academic years 2008-2010 was also Deputy Director of the Computing Laboratory (now the Department of Computer Science). I am a fellow of Kellogg College. Before taking up this post in 1999, I held lectureships at Oxford Brookes University and the University of Auckland, New Zealand.

Sun 18 Sep (GMT+09:00) Osaka, Sapporo, Tokyo change

09:15 - 10:15: TyDe - Session One at Conference Room 1
tyde-2016-papers09:15 - 09:35
Day opening
tyde-2016-papers09:35 - 09:55
Jeremy GibbonsUniversity of Oxford, UK
tyde-2016-papers09:55 - 10:15