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

Student and Research Staff Conference

The Department will be holding their Student and Research Staff Conference on Friday 12th June, 2015 with Stephen Pulman being keynote speaker

More Details...

Links

Mailing list

Related seminar series

Software Engineering Seminars

Info

Activities	Clinical Informatics \| Cyber Security Centre \| Human Centred Computing \| 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 \| ConstructionSiteTracking \| Gauge \| HARPS \| IndoorPos \| Model-driven software development \| TrackSafe
Completed projects	Acoustic Actuated Sensor Networks for Industrial Processes (AASN4IP) \| Agent-based Area Exploration and Event Detection in Emergency Scenarios \| Autonomous Ubiquitous Sensing \| Cancer Bioinformatics \| CancerGrid \| Choreographing Complex Services \| e-Infrastructure Use Cases and Usage Models \| eHorizons \| Embedding e-Science Applications \| EUSTACE \| 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 \| TCLOUDS \| TIME-EACM \| Trust Domains \| Trustworthy Logging for Distributed Virtual Organisations \| TUMOR \| ULICE \| UnderTracker \| Unifying Theories of Objects \| Vaccines Data Management \| VRE \| webinos Project \| Workflow interoperability

People

Faculty	Anisoara Calinescu Alessandra Cavarra Jonathan Cooper Cas Cremers Jim Davies Ivan Flechais Jeremy Gibbons Ralf Hinze Marina Jirotka Daniel Kroening Andrew Markham Andrew Martin Kasper B. Rasmussen Andrew Simpson Niki Trigoni
Research	Sharon Lloyd Hongkai Wen Geoff Williams
Students	Jaco Jacobs Pascal Kesseli
Administration	Jackie Jordan Sharon Lloyd Shirley Sardar
Support	Edward Crichton
Past Members	Mohammed Aboulsamh Radu Calinescu Annamaria Carusi Charles Crichton Grace Eden Shamal Faily Ettore Ferranti Nalin Asanka