Skip to content

The SaSSy Initiative

The SaSSy Initiative brings together world-renowned Imperial academics working on the safety and security of our modern software systems, underpinned by rigorous design, specification, testing and verification. It is loosely grouped under the research themes Safe AI, Trustworthy Software, Rigorous Architectural Foundations and Security.

Traditional methods for ensuring the correctness and reliability of our software systems, such as informal prose specification and ad-hoc validation, are no longer adequate for our modern software systems. Our research has come of age: our mathematical techniques are tractable; our tools are well-engineered; and our work is used in applications ranging from autonomous vehicles and multi-agent systems, to software development, standards and infrastructure, to embedded systems and low-energy hardware.

Led by Professor Philippa Gardner.


Our research