Home2024-09-23T15:01:20+00:00

The Research Institute on Verified Trustworthy Software Systems

About VeTSS

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. You can find details of our history and aims here.

Projects

Publications

People

News

Videos

As part of goal to remove barriers to participation we aim to record and made available as many of our talks, Summer School tutorials and Annual Meeting presentations. You can find playlist for most of the events organised by VeTSS in our YouTube channel and individual videos of each talk in our VeTSS videos page.

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.

Thanks to funding from the National Cyber Security Centre, VeTSS funds research projects on analysis, testing and verification, both via small grants and funding calls aligned with VeTSS research.

Generators and Bases for Monadic Closures.

Stefan Zetzsche, Alexandra Silva and Matteo Sammartino.

In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 270, pp. 11:1-11:19, 2023

Speak to one of the team

We are always happy to hear from people interested in our work. To contact us, please use the button below.

You can also join our Zulip channel, where we post our news, job adverts and details of upcoming calls and events.

Go to Top