Professor Jeremy Gibbons CEng MBCS CITP FIAP
Professor of Computing
Governing Body Fellow, Kellogg College
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, and I am chair of IFIP Working Group 2.1 on Algorithmic Languages and Calculi. I am an editor of the Journal of Functional Programming, with special responsibility for the Functional Pearls section; do consider submitting a paper! 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 have an open position for a postdoctoral Research Assistant on the project "A Theory of Least-Change for Bidirectional Transformations", closing date 2nd April.
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 part-time professional MSc in Software Engineering; for the academic years 2008-2010 was also Deputy Director of the Computing Laboratory (now 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.
Journal of Functional Programming , Editor, with special responsibility for Functional Pearls
See my editorial on what constitutes a Pearl
ACM SIGPLAN , Vice-Chair
IAP Journal of Software Development Practice , Chairman of Editorial Board
The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials
Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Charles Crichton
In Science of Computer Programming. March, 2013.
Unifying Recursion Schemes
Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons
In International Conference on Functional Programming. March, 2013.
Submitted for publication
Relational algebraic ornaments
Hsiang−Shang Ko and Jeremy Gibbons
Submitted to ICFP'13. March, 2013.