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

I direct a programme of advanced, professional education in software engineering, teaching advanced techniques to people working full-time in industry. I am leading the development of semantics-driven technology for cancer research informatics, as part of the UK CancerGrid project, and a related programme of work into the automatic generation of systems from re-usable models of structure and functionality. I am working on the application of these technologies and techniques in the area of electronic governance. 

biography

Jim Davies 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, Reading, and Royal Holloway, University of London, 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.  He will be Senior Fellow of Kellogg College for the Academic Year 2008-09.  

roles

16th International Symposium on Formal Methods (FM 2009)

Programme Committee

Fundamental Approaches to Software Engineering 2009 (FASE 2009)

Programme Committee

Integrated Formal Methods 2009 (iFM 2009)

Programme Committee

View all

publications

Semantic Frameworks for e-Government

Charles Crichton et al.

In Theresa Pardo, Tomasz Janowski, editors, First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007 pages 30—39. ACM, December 2007.

Semantic Frameworks for e-Government

Automatic Maintenance of Association Invariants

James Welch, David Faitelson and Jim Davies

Software and Systems Modeling, 2008.

Automatic Maintenance of Association Invariants

View all

info

themes

activities

projects

students

Random Image
Random Image
Random Image