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.

Links

Mailing list

Related seminar series

Software Engineering Seminars

Info

Activities	Cyber Security Centre \| 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 \| 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 \| sif \| TCLOUDS \| Trust Domains \| TUMOR \| UnderTracker \| Unifying Theories of Objects \| Vaccines Data Management \| webinos Project
Completed projects	Accelerating Cancer Research Using Semantics-Driven Technology \| Acoustic Actuated Sensor Networks for Industrial Processes (AASN4IP) \| 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 \| Sensing, Unmanned, Autonomous Aerial VEhicles \| 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	Sonia Waharte
Research	Jonathan Cooper Charles Crichton Shamal Faily Steve Harris David Johnson Sharon Lloyd John Lyle Andrew Markham David Power Mark Slaymaker Pui Wo (Andrew) Tsui James Welch Geoff Williams Nicolas Wu
Students	Mohammed Aboulsamh Jonathan Cooper Tom Harper Muzammil Hussain Jaco Jacobs David Johnson Joe Loughry Fernando Muradas Cornelius Namiluko Andrew Symington James Welch Hongkai Wen Jim Whitehead Ricklef Wohlers
Administration	Jackie Jordan Sharon Lloyd Janet Sadler Shirley Sardar
Support	Edward Crichton
Past Members	Annamaria Carusi Grace Eden Ettore Ferranti Stephen Kell Eric Kerfoot Conor Muldoon Sarfraz Nawaz Philipp Ruemmer Douglas Russell Aadya Shukla Clint Sieunarine Simon Smith Ib Holm Sørensen Christian Wallenta Jackie Wang Peter Wong

Software Engineering

Links

Related seminar series

Info

People

Main sections

Contact details

RSS Feeds

News

Vacancies & studentships

Calendars

Seminars & timetables

Internal