The EPSRC will fund the the new Research Institute on Verified Trustworthy Software Systems (VeTSS) at Imperial for five years, 2017-2022. The main purpose of VeTSS is to support program analysis, testing and verification, bringing together academics, industrialists and government employees to achieve guarantees of software correctness, safety, and security.
