Jeremy Gibbons
|
Professor Jeremy Gibbons CEng MBCS CITP FIAP
Professor of Computing
Governing Body Fellow,
Kellogg College
jeremy.gibbons@cs.ox.ac.uk
01865 283508
01865 283521
01865 283531 (fax)
Room 462, Wolfson Building, Parks Road, Oxford OX1 3QD |
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.
I am a member of the Algebra of Programming research group, and 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! For the academic year 2010–2011 I am on sabbatical; read about my sabbatical project on my blog.
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 get dozens of requests for internships, but I'm afraid that I have neither the time nor the resources to host these.
Biography
I am deputy director of the part-time professional Software Engineering Programme; 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.
Links
Software Engineering Programme
IFIP WG2.1 wiki
Editorial on Functional Pearls
Patterns in Functional Programming blog
Roles
Journal of Functional Programming , Editor, with special responsibility for Functional Pearls; see the JFP website
WG2.1 , Chair
MPC 2012, Programme Committee chair
Selected Publications
| Tracing monadic computations and representing effects Maciej Pirog and Jeremy Gibbons In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012. Vol. 76 of Electronic Proceedings in Theoretical Computer Science. Pages 90−111. Open Publishing Association. 2012. |
| Maximum Segment Sum‚ Monadically (distilled tutorial) Jeremy Gibbons In Olivier Danvy and Chung−chieh Shan, editors, IFIP TC2 Working Conference on Domain−Specific Languages. Bordeaux. September, 2011. |
| Modularising inductive families Hsiang−Shang Ko and Jeremy Gibbons In Jaakko Järvi and Shin−Cheng Mu, editors, Workshop on Generic Programming. Pages 13−24. September, 2011. |
