The Research Institute in Automated Program Analysis and Verification at Imperial is the UK’s second Academic Research Institute in cyber security, funded as part of the UK’s national cyber security programme.
Modern society is critically dependent on computer software. However, we cannot yet guarantee what software does. Our understanding has not kept pace with its complexity. There is a clear and pressing need to improve cyber security by providing greater understanding, proving correctness of programs and identifying potential weaknesses of our software.
Mathematical analysis and verification techniques are just beginning to reach industrial scale, achieving guarantees of correctness, safety and security. The Institute has world leading researchers in the UK who are working in fields such as mathematical logic, programming languages, and program analysis and verification. It is a collaboration between six universities:
- University of Edinburgh
- Imperial College London
- University of Kent
- The University of Manchester
- Queen Mary University of London
- University College London
Funded by a £4.5 million grant, the Institute has been established by GCHQ in partnership with the Engineering and Physical Sciences Research Council (EPSRC) through the Research Councils UK (RCUK) Global Uncertainties Programme and the Department for Business, Innovation and Skills (BIS).