Professor Jeremy Gibbons CEng MBCS CITP FIAP
Professor of Computing
Governing Body Fellow, Kellogg College
01865 (2)83557 (Karen Barnes)
01865 283531 (fax)
Room 462, Wolfson Building, Parks Road, Oxford OX1 3QD
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 I between 2012 and 2015 I was Vice Chair of ACM SIGPLAN. I am also a member of the Software Engineering research group, working particularly with Jim Davies on semantic modelling and model-driven development. We've been developing techniques and tools to support scientists in sharing data—particularly in clinical trials, but also in electronic government.
I am co-Editor-in-Chief of the Journal of Functional Programming; do consider submitting a paper!
I get dozens of requests for internships, but I'm afraid that I have neither the time nor the resources to host these.
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.
BX 2015 , Programme Committee member
PEPM 2015 , Programme Committee member
FHIES/SEHC 2014 , Programme Committee member
Towards a Principle of Least Surprise for Bidirectional Transformations
James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens
In Alcino Cunha and Ekkart Kindler, editors, 4th International Workshop on Bidirectional Transformations. Pages 66−80. CEUR Workshop Proceedings. July, 2015.
Coalgebraic Aspects of Bidirectional Computation
Faris Abou−Saleh‚ James McKinna and Jeremy Gibbons
In Alcino Cunha and Ekkart Kindler, editors, 4th International Workshop on Bidirectional Transformations. Pages 16−30. CEUR Workshop Proceedings. July, 2015.
Notions of Bidirectional Computation and Entangled State Monads
Faris Abou−Saleh‚ James Cheney‚ Jeremy Gibbons‚ James McKinna and Perdita Stevens