Imperial College London

MsTeresaCarbajo Garcia

Faculty of EngineeringDepartment of Computing

Research Group Officer



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




453Huxley BuildingSouth Kensington Campus





I am the program manager for the Research Institute in Automated Program Analysis and Verification. 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 the UK’s second Academic Research Institute in cyber security and is funded as part of the UK’s national cyber security programme. Its research seeks to advance UK research in automated program analysis and verification, in particular with its application to cyber security. The Institute's aim is to improve the security of our software systems by providing greater understanding, proving correctness and identifying potential weaknesses. For more details, see

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.