Critical Systems
We produce innovative research in all aspects of the specification, design, modelling, analysis, verification and run-time control of any software intensive system whose operation has an impact on human health, the environment, security or the economy.
Such systems are found in:
- The avionics industry
- The automotive sector
- Robotics
- Industrial control
- Power generation and distribution
People
- Dr Rob Alexander
- Dr Katrina Attwood
- Dr Iain Bate
- Professor Alan Burns (Theme lead)
- Dr Radu Calinescu
- Professor Ana Cavalcanti
- Dr Rob Davis
- Dr Simos P. Gerasimou
- Dr Ian Gray
- Dr Ibrahim Habli
- Dr Leandro Soares Indrusiak
- Dr Jeremy Jacob
- Professor Dimitris Kolovos
- Professor John McDermid
- Dr Detlef Plump
- Dr David Pumfrey
- Dr Siamak Fayyaz Shahandashti
- Dr Vasileios Vasilakis
- Professor Jim Woodcock
Project spotlights
- Assuring autonomy international programme
- LOWCOMOTE: Training the next generation of experts in scalable low-code engineering platforms
- UKRI Trustworthy autonomous systems node in resilience
- High-integrity, complex, large, software and electronic systems (HICLASS)
- Verifiable electronic voting for real-world elections
- Secure and safe multi-robot systems (SESAME)
- Project NEPTUNE
Robocalc
Our researchers are working on several activities relating to the Robocalc project: