Imperial College London

MsTeresaCarbajo Garcia

Faculty of EngineeringDepartment of Computing

Research Group Officer
 
 
 
//

Contact

 

+44 (0)20 7594 3140t.carbajo-garcia Website

 
 
//

Location

 

453Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

I am the program manager for the Research Institute on Verified Trustworthy Software Systems (VeTSS). I am responsible for the day-to-day general administration of the Institute and provide support to the Institute Director, Professor Philippa Gardner.

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.

I also act as the Research Group Officer for the Program Specification and Verification Group, lead by Prof Gardner; I support staff and students in the group and also provide administrative cover to the wider analysis and verification research theme in the Department.