MsTeresa Carbajo Garcia

I am the program manager for the Research Institute on Verified Trustworthy Software Systems (VeTSS). I am responsible for the day-to-day administration of the Institute and provide support to the Institute Directors, Dr Azalea Raad at Imperial College London, and Prof Brijesh Dongol, at the University of Surrey.

The Institute is an UK Academic Research Institute in Cyber Security and is funded as part of the UK’s national cyber security programme. 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.