www.cs.ox.ac.uk/research/se/index.html

You are here:

• Home
• Research
• Themes
• Software Engineering

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

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

More Details...

Links

Mailing list

Related seminar series

• Software Engineering Seminars

Info

Activities	Information Modelling |  Models and technologies for secure data sharing |  Requirements Engineering |  Research Informatics |  Sensor Networks |  Software Model Checking |  Systems Security |  Trusted Computing
Current projects	A theory of nondeterministic databases |  Acoustic Actuated Sensor Networks for Industrial Processes (AASN4IP) |  Architectures for Trusted Utility Computing |  Autonomous Ubiquitous Sensing |  Gauge |  Hospital of the Future |  Model-driven software development |  Models and technologies for assured, context-sensitive access control |  Sensing, Unmanned, Autonomous Aerial VEhicles |  sif |  TCLOUDS |  Trust Domains |  TUMOR |  UnderTracker |  Unifying Theories of Objects |  Vaccines Data Management |  webinos Project
Completed projects	Accelerating Cancer Research Using Semantics-Driven Technology |  Agent-based Area Exploration and Event Detection in Emergency Scenarios |  Cancer Bioinformatics |  CancerGrid |  Choreographing Complex Services |  e-Infrastructure Use Cases and Usage Models |  eHorizons |  Embedding e-Science Applications |  Evolving Health Informatics |  Generative Formal Templates And Relational Databases |  Generic Infrastructure for Medical Informatics |  Integrating Biological Simulations |  Integrative Biology |  Mobile and Sensor Nodes for Wildlife Monitoring |  NeuroGrid |  Oxford eSocial Science |  Secure Web Services |  Semantic Frameworks |  SOFA |  Switched Lightpaths for e-Science Applications |  TIME-EACM |  Trustworthy Logging for Distributed Virtual Organisations |  ULICE |  VRE |  Workflow interoperability

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
Visitors
Research	Jonathan Cooper Charles Crichton Shamal Faily Steve Harris David Johnson Stephen Kell Sharon Lloyd John Lyle Andrew Markham David Power Philipp Ruemmer Mark Slaymaker Pui Wo (Andrew) Tsui James Welch Geoff Williams Nicolas Wu
Students	Mohammed Aboulsamh Jonathan Cooper Ettore Ferranti Tom Harper Muzammil Hussain Jaco Jacobs David Johnson Fernando Muradas Cornelius Namiluko Clint Sieunarine Andrew Symington Christian Wallenta Jackie Wang James Welch Hongkai Wen Jim Whitehead Ricklef Wohlers
Administration	Jackie Jordan Sharon Lloyd Janet Sadler Shirley Sardar
Support	Edward Crichton Ib Holm Sørensen
Past Members	Annamaria Carusi Grace Eden Ettore Ferranti Eric Kerfoot Joe Loughry Conor Muldoon Sarfraz Nawaz Philipp Ruemmer Douglas Russell Aadya Shukla Simon Smith Sonia Waharte Christian Wallenta Peter Wong