Jeremy Gibbons
|
Dr
Jeremy
Gibbons
MBCS CEng CITP FIAP
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. I am chair of IFIP Working Group 2.1 on Algorithmic Languages and Calculi. I have a new research project on Reusability and Dependent Types that started in October 2009; if you're interested in this work, drop me a line. The Spring School on Generic and Indexed Programming will take place in Wadham College from 22nd to 26th March 2010, as the closing activity of the GIP project. 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.
Biography
I am deputy director of the part-time professional Software Engineering Programme, with specific responsibility for the Object Technology subprogramme; for the academic years 2008-2010 I am also Deputy Director of the Computing Laboratory. I have a joint appointment with the Computing Laboratory and the Department for Continuing Education, and 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
OUCL personnel page
OUCL work page
Software Engineering
Roles
Journal of Functional Programming , Editor, with special responsibility for Functional Pearls
See the JFP website
Haskell Symposium 2010 , Programme Committee Chair
WG2.1 , Chair
Selected Publications
| Functional Pearls (editorial) Jeremy Gibbons Journal of Functional Programming. 2009. Details | BibTeX | Link (pdf) |
| Teaching Formal Methods
Details | BibTeX | Link (pdf) | DOI (10.1007/978-3-642-04912-5) |
| Model-Driven Support for a Vaccine Study in Kathmandu Jim Davies et al. In Microsoft eScience Workshop. October, 2009. Details | BibTeX | Link (pdf) |