The Research Institute on Verified Trustworthy Software Systems (VeTSS) is one of the four UK Academic Research Institutes in Cyber Security.

VeTSS is jointly hosted by the University of Surrey and Imperial College London, with Prof Brijesh Dongol (Surrey) and Dr Azalea Raad (Imperial) as co-directors.

You can email us at: contact@vetss.org.uk or get in touch with our program managers:

Teresa Carbajo Garcia (Imperial College London)

Ling Zhang (University of Surrey)

You can also follow us on Twitter @VetSS_RI and Mastodon @VetSS@types.pl 

SUMMER SCHOOL WEEK

If you want to speak to us in person, the following people will be available during the day, or you can email us at: contact@vetss.org.uk. (this inbox will be monitored regularly.) You will also receive an email with our mobile phone details in case you need to contact someone after hours.

Brijesh Dongol b.dongol@surrey.ac.uk

Azalea Raad  azalea.raad@imperial.ac.uk

Ling Zhang ling.zhang@surrey.ac.uk

Teresa Carbajo Garcia t.carbajo-garcia@imperial.ac.uk

To contact us anonymously, you can use this form.