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	Clinical Informatics \| Cyber Security Centre \| Information Modelling \| Models and technologies for secure data sharing \| Requirements Engineering \| Research Informatics \| Sensor Networks \| Software Model Checking \| Systems Security
Current projects	A theory of nondeterministic databases \| Accelerating Cancer Research Using Semantics-Driven Technology \| Architectures for Trusted Utility Computing \| Autonomous Ubiquitous Sensing \| EUSTACE \| Gauge \| Model-driven software development \| TCLOUDS \| Trust Domains \| UnderTracker \| Unifying Theories of Objects \| webinos Project
Completed projects	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 \| FRESNEL \| Generative Formal Templates And Relational Databases \| Generic Infrastructure for Medical Informatics \| Hospital of the Future \| Integrating Biological Simulations \| Integrative Biology \| Mobile and Sensor Nodes for Wildlife Monitoring \| Models and technologies for assured, context-sensitive access control \| NeuroGrid \| Oxford eSocial Science \| Secure Web Services \| Semantic Frameworks \| Sensing, Unmanned, Autonomous Aerial VEhicles \| sif \| SOFA \| Switched Lightpaths for e-Science Applications \| TIME-EACM \| Trustworthy Logging for Distributed Virtual Organisations \| TUMOR \| ULICE \| Vaccines Data Management \| VRE \| Workflow interoperability

People

Faculty	Ani Calinescu Alessandra Cavarra Jim Davies Ivan Flechais Jeremy Gibbons Ralf Hinze Marina Jirotka Daniel Kroening Andrew Martin Andrew Simpson Niki Trigoni
Research	Jonathan Cooper Shamal Faily Steve Harris Sharon Lloyd John Lyle Andrew Markham David Power Mark Slaymaker Pui Wo (Andrew) Tsui Geoff Williams Nicolas Wu
Students	Jonathan Cooper Muzammil Hussain Jaco Jacobs Cornelius Namiluko Andrew Symington Hongkai Wen
Administration	Jackie Jordan Sharon Lloyd Shirley Sardar
Support	Edward Crichton
Past Members	Mohammed Aboulsamh Radu Calinescu Annamaria Carusi Charles Crichton Ettore Ferranti Tom Harper David Johnson Stephen Kell Eric Kerfoot Joe Loughry Steve McKeever Conor Muldoon Fernando Muradas Sarfraz Nawaz Philipp Ruemmer Douglas Russell Janet Sadler Aadya Shukla Clint Sieunarine Simon Smith Ib Holm Sørensen Sonia Waharte Christian Wallenta Jackie Wang James Welch Jim Whitehead Ricklef Wohlers Peter Wong

Software Engineering

Links

Related seminar series

Info

People

Main sections

Contact details

RSS Feeds

News

Vacancies & studentships

Calendars

Seminars & timetables

Internal