Jeremy Gibbons

Professor Jeremy Gibbons CEng MBCS CITP FIAP

Professor of Computing

Governing Body Fellow, Kellogg College

E: jeremy.gibbons@cs.ox.ac.uk

E: karen.barnes@cs.ox.ac.uk

T: 01865 283508

T: 01865 283521

T: 01865 283557 (Karen Barnes)

I: ORCID

S: Twitter

Room 462, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Themes:

Programming Languages

Completed Projects:

Interests

My research interests are in programming methodology—that is, in better languages for writing computer programs, and better ways of using the languages we already have. I am particularly concerned with functional languages (which emphasize computing with values rather than with actions) and object-oriented languages (which encourage program structures that reflect the structure of the real-world entities they are modelling), and with ways of expressing and reasoning about recurring patterns in software structure. You might be interested in my blog.

I lead the Algebra of Programming research group; I am member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi (and was chair for 6 years, and secretary for 13 years), and of IFIP Working Group 2.11 on Program Generation; and between 2012 and 2018 I was Vice Chair the Past Vice Chair of ACM SIGPLAN. I am co-Editor-in-Chief of the Journal of Functional Programming and Editor of Compositionality: The open-access journal for the mathematics of composition; do consider submitting a paper!

If you would like to study with me, please read this note first.

Biography

From 2012 until April 2017 I was Director of the Software Engineering Programme, which offers part-time professional Masters' degrees in Software Engineering and in Software and Systems Security; I still teach on that Programme. For the academic years 2008-2010 I was also Deputy Director of the Computing Laboratory (now the Department of Computer Science), and I served as Chair of the Faculty of Computer Science from 2012 to 2016. 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.