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.

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	Radu Calinescu \| Jonathan Cooper \| Charles Crichton \| Edward Crichton \| Steve Harris \| Ghita Kouadri Mostefaoui \| Sharon Lloyd \| Xiaoqi Ma \| Andrew Markham \| David Power \| Douglas Russell \| Mark Slaymaker \| Ib Holm Sorensen \| Andrew Tsui \| Geoff Williams
students	Mohammed Aboulsamh \| Andrew Cooper \| Jonathan Cooper \| Douglas Creager \| Grace de la Flor \| Ettore Ferranti \| Muzammil Hussain \| Mila Katzarova \| Eric Kerfoot \| Joe Loughry \| John Lyle \| Cornelius Namiluko \| Aadya Shukla \| Clint Sieunarine \| Antonios Skordylis \| Simon Smith \| Matteo Turilli \| Christian Wallenta \| Jackie Wang \| James Welch \| Ricklef Wohlers \| Peter Wong \| Nicolas Wu
support	Edward Crichton \| Ib Holm Sorensen \| James Welch

info

current projects	e-Infrastructure Use Cases and Usage Models \| Embedding e-Science Applications \| Evolving Health Informatics \| Generic Infrastructure for Medical Informatics \| Mobile and Sensor Nodes for Wildlife Monitoring \| Secure logging and audit trails in grid systems \| Secure Web Services \| Semantic Frameworks \| Transport Information Monitoring Environment \| VRE
completed projects	A theory of nondeterministic databases \| Cancer Bioinformatics \| CancerGrid \| Choreographing Complex Services \| eHorizons \| Integrating Biological Simulations \| Integrative Biology \| NCRI \| NeuroGrid \| Oxford eSocial Science \| Robot-assisted Exploration in Emergency Scenarios \| sif \| Switched Lightpaths for e-Science Applications \| Workflow interoperability
activities	\| \| Information Modelling \| Model-based Software Engineering \| Requirements Engineering \| Research Informatics \| Sensor Networks \| Software and Systems Security \| Software Model Checking
head of theme	Jim Davies