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


Research degrees

Push the boundaries of knowledge in our supportive and stimulating environment.

Study with us


Search for research and browse our publications in the York Research Database.

Explore publications