Home2024-10-14T08:45:46+00:00

The Research Institute on Verified Trustworthy Software Systems

About VeTSS

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. 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.

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.

Impact

VeTSS has been very impactful at a number of levels since its launch. It has a strong history of not only funding groundbreaking and important work in the field, but stimulating further research, supporting and strengthening the verification community. This work has had significant influence on a national and international level, modernising software testing, analysis and verification techniques to make the UK a safer place.

Vision

Our vision for this next VeTSS iteration is to be by the community, for the community. To this end, we have assembled an Advisory Board as VeTSS stakeholders to help us steer the VeTSS vision, expand its reach and increase its impact. In close collaboration with our Advisory Board and with members of the VeTSS community, we are proud to have led the development of a VeTSS Problem Book as a focal point for verification research in the UK, with experts providing research challenges and topics of national strategic importance.

Engagement strategy

Our engagement strategy involves an improved online presence through a revamped website and social media presence on Twitter and LinkedIn, and a dedicated Zulip server open to all members of the VeTSS community. We have organised outreach activities and supported workshops run by VeTSS community members. We have expanded our networks by building new links with the NCSC (Netherlands) and DARPA, providing us with an international perspective on verification problems, as well as collaboration opportunities for UK researchers. We have also strengthened our links with the other NCSC Research Institutes (RISE, RITICS and RISCS) by identifying key cross-cutting problems.

Latest news

Latest publications

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.

Zulip

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

© Copyright 2024 • Made with by Envious Digital

Go to Top