OXFORD UNIVERSITY COMPUTING LABORATORY

Jeremy Gibbons

Personal photo - Jeremy Gibbons

Dr Jeremy Gibbons MBCS CEng CITP FIAP

Reader in Software Engineering
Deputy Director of the Computing Laboratory
Governing Body Fellow, Kellogg College

jeremy.gibbons@comlab.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 the Software Engineering research group. I am secretary and a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi; I am also General Chair of the IFIP TC2 Working Conference on Domain-Specific Languages in Oxford in July 2009. I have a new research project on Reusability and Dependent Types starting in October 2009; there is a fully-funded DPhil studentship (closing date 15th April) associated with the project, and I would welcome expressions of interest.

biography

I am deputy director of the part-time professional Software Engineering Programme, with specific responsibility for the Object Technology subprogramme. 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
IFIP TC2 Working Conference on Domain-Specific Languages

roles

WG2.1

Secretary

WCDSL

General Chair

IFIP TC2 Working Conference on Domain Specific Languages

Haskell Symposium 2009

Programme Committee

View all

publications

Formal Methods for Future Interoperability

Jim Davies, Jeremy Gibbons

January 2009.

A revised version of "Formal Methods for Electronic Government" (FMET, 2008).

Formal Methods for Future Interoperability

Metadata-Driven Software for Clinical Trials

Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James Brenton

May 2009.

To appear.

Metadata-Driven Software for Clinical Trials

Formalisations and Applications of BPMN

Peter Y.H. Wong, Jeremy Gibbons

2009.

Submitted for publication.

{Formalisations and Applications of BPMN}

View all

info

themes

activities

projects

students

Random Image
Random Image
Random Image