University of Oxford Branding

OXFORD UNIVERSITY COMPUTING LABORATORY

Software Engineering

Software engineering is the application of scientific and engineering efforts in the development of software systems. Our research addresses every stage of the development process, from requirements analysis to the maintenance of existing implementations. Areas of particular interest include information modelling, requirements engineering, model-based development, research informatics, systems security, and sensor networks.

recent news

Events Jim Davies shares platform with President Uribe of Colombia Professor Jim Davies, Programme Co-Chair of the Third International Conference on the Theory and Practice of Electronic Governance, shared the platform at the opening session with President Álvaro Uribe Vélez, the Colombian Head of State. President Uribe gave an inspiring opening address on the importance of ICT to Colombia in terms of democratic security, investor confidence, education and training, healthcare, and administrative transparency.

people

Faculty	Ani Calinescu \| Alessandra Cavarra \| Jim Davies \| Ivan Flechais \| Jeremy Gibbons \| Ralf Hinze \| Marina Jirotka \| Daniel Kroening \| Andrew Martin \| Steve McKeever \| Andrew Simpson \| Niki Trigoni
Research	Jonathan Cooper \| Charles Crichton \| Edward Crichton \| Steve Harris \| Sharon Lloyd \| Andrew Markham \| David Power \| Philipp Ruemmer \| Douglas Russell \| Mark Slaymaker \| Ib Holm Sorensen \| Andrew Tsui \| Sonia Waharte \| Geoff Williams
Students	Mohammed Aboulsamh \| Jonathan Cooper \| Douglas Creager \| Grace de la Flor \| Sarah Fernando \| Ettore Ferranti \| Muzammil Hussain \| Mila Katzarova \| Eric Kerfoot \| Joe Loughry \| John Lyle \| Cornelius Namiluko \| Aadya Shukla \| Clint Sieunarine \| Antonios Skordylis \| Simon Smith \| Andrew Symington \| Matteo Turilli \| Christian Wallenta \| Jackie Wang \| James Welch \| Ricklef Wohlers \| Peter Wong \| Nicolas Wu
Support	Edward Crichton \| Ib Holm Sorensen \| James Welch

info

activities	Information Modelling \| Requirements Engineering \| Research Informatics \| Sensor Networks \| Software and Systems Security \| Software Model Checking
current projects	AASN4IP \| Accelerating Cancer Research Using Semantics-Driven Technology \| CancerGrid \| Data Sharing for BRC \| Data sharing for OCISB \| Embedding e-Science Applications \| Evolving access control \| Generative Formal Templates And Relational Databases \| Hospital of the Future \| Mobile and Sensor Nodes for Wildlife Monitoring \| Secure Web Services \| Semantic Frameworks \| Sensing, Unmanned, Autonomous Aerial VEhicles \| sif \| TIME-EACM \| ULICE \| Workflow interoperability
completed projects	A theory of nondeterministic databases \| Agent-based Area Exploration and Event Detection in Emergency Scenarios \| Architectures for Trusted Utility Computing \| Cancer Bioinformatics \| Choreographing Complex Services \| e-Infrastructure Use Cases and Usage Models \| eHorizons \| Evolving Health Informatics \| Generic Infrastructure for Medical Informatics \| Integrating Biological Simulations \| Integrative Biology \| NCRI \| NeuroGrid \| Oxford eSocial Science \| Switched Lightpaths for e-Science Applications \| Trustworthy Logging for Distributed Virtual Organisations \| Unifying Theories of Objects \| VRE
head of theme	Jim Davies

Random Image

Random Image

Random Image