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
Contact us
- Dr Rob Alexander
- Dr Katrina Attwood
- Professor Neil Audsley
- Professor Jim Austin
- 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 Richard Hawkins
- Dr Leandro Soares Indrusiak
- Dr Jeremy Jacob
- Professor Tim Kelly
- Professor Dimitris Kolovos
- Professor John McDermid
- Dr Detlef Plump
- Dr David Pumfrey
- Dr Siamak Shahandashti
- Dr Vasileios Vasilakis
- Professor Jim Woodcock
- Professor Andy Wellings
Research degrees
Push the boundaries of knowledge in our supportive and stimulating environment.
Study with usPublications
Search for research and browse our publications in the York Research Database.
Explore publications