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 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 Verified Trustworthy Software Specification 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.