Jim Davies
|
Professor Jim Davies CITP
Professor of Software Engineering
Director, Software Engineering Programme
Governing Body Fellow,
Kellogg College
jim.davies@cs.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 (now Department of Computer Science) 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
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
Recent News
Projects
Project to improve radiotherapy planning
A collaborative project between physicists, oncologists and computer scientists at Oxford and Cambridge Universities, launched last month, will develop improved tools for the planning of high precision radiotherapy. Accel-RT will also help overcome time constraints that currently limit the use of complex radiotherapy treatment
Selected Publications
| Automatic Maintenance of Association Invariants James Welch‚ David Faitelson and Jim Davies In Software and Systems Modeling. 2008. |
| Metadata−Driven Software for Clinical Trials Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Andrew Tsui and James Brenton May, 2009. |
| Semantics−Driven Development for Electronic Government Applications Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Aadya Shukla and Andrew Tsui In HICSS (Electronic Government Track). Hawaii. January, 2009. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
Hospital of the Future | Model-driven software development | Vaccines Data Management |
|
Completed Projects |
Cancer Bioinformatics | Semantic Frameworks | Integrative Biology | CancerGrid | Evolving Health Informatics | Accelerating Cancer Research Using Semantics-Driven Technology | ULICE | |
|
Students |
|
