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