OXFORD UNIVERSITY COMPUTING LABORATORY

Jim Davies

Personal photo - Jim Davies

Professor Jim Davies CITP

Professor of Software Engineering
Director, Software Engineering Programme
Governing Body Fellow, Kellogg College

jim.davies@comlab.ox.ac.uk
44 1865 283521
44 1865 283531 (fax)

Room 461, Wolfson Building, Parks Road, Oxford OX1 3QD

interests

Jim directs a programme of advanced, professional education in software engineering, teaching advanced techniques to people working full-time in industry.  He is leading the development of semantics-driven technology for medical research and electronic governance, and a related programme of work into the automatic generation of systems from re-usable models of structure and functionality. 

biography

Jim studied mathematics at New College, Oxford, joining the Computing Laboratory in 1986 for a Masters' and doctorate. After working as a researcher and lecturer in computer science, at Oxford and Reading, he became a lecturer in software engineering at Oxford in 1995. He has led the Software Engineering Programme since 2000, and was made Professor of Software Engineering in 2006. 

links

The CancerGrid Project

roles

FM 2009: 16th International Symposium on Formal Methods (2nd World Congress on Formal Methods)

Programme Committee

iFM 2009: Integrated Formal Methods

Programme Committee

ICFEM 2008: International Conference on Formal Engineering Methods

Programme Committee

View all

selected publications  (View all)

Automatic Maintenance of Association Invariants

James Welch, David Faitelson and Jim Davies

Software and Systems Modeling, 2008.

Metadata-Driven Software for Clinical Trials

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

May 2009.

To appear.

Semantics-Driven Development for Electronic Government Applications

Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui

In HICSS Workshop on Electronic Government Hawaii. January 2009.

info

themes

activities

projects

students

Random Image
Random Image
Random Image