The Research Institute on Verified Trustworthy Software Systems (VeTSS) is an UK Academic Research Institute in Cyber Security, jointly hosted by the University of Surrey and Imperial College London, with Prof Brijesh Dongol (Surrey) and Dr Azalea Raad (Imperial) as Directors.

VeTSS is one of four research institutes within the National Cyber Security Centre (NCSC), bringing together leading academics, industry professionals, regulators and government representatives to ensure research into software stays focused on the safety and security challenges faced by the UK and mitigates the risks posed.

The aim of VeTSS is to address the challenge of traditional methods for ensuring software reliability no longer being adequate in modern contexts, by bringing together and supporting world-class UK academics and industrialists unified by a common interest in program analysis, testing, and verification. VeTSS stands at the forefront of research developments in fundamental theories and industrial-strength tools, targeting real-world applications.