2018
The second call for proposals in October 2017 received 33 applications of which 10 were funded. The following projects were selected for funding:
- A Foundation for Testing and Verifying C++ Transactions, PI John Wickerson, Imperial College London.
- Automated black-box verification of networking systems, PI Alexandra Silva, University College London.
- Building Verified Applications in CakeML, PI, Scott Owens, University of Kent.
- Formal Verification of Quantum Security Protocols using Coq, PI Raja Nagarajan, Middlesex University London.
- Generating Exploitable Crashes, PI, John Galea, University of Oxford.
- Operating system components as verified libraries, PI Tom Ridge, University of Leicester.
- Session Type-Based Verification Framework for Message-Passing in Go, PI, Nobuko Yoshida, Imperial College London.
- Specification and verification of C++ data structure libraries, PI Mark Batty, University of Kent.
- Supervectorizer (phase II), PI Greta Yorsh, Queen Mary University of London.
- Trustworthy Software for Nuclear Arms Control, PIs Aziem Chawdhary and Andy King, University of Kent.
2017
The inaugural call for proposals in June 2017 received over 24 applications of which 8 were funded. The following projects were selected for funding:
- Mechanising the Metatheory of SQL with Nulls, PI Wilmer Ricciotti, University of Edinburgh.
- Verifying Efficient Libraries in CakeML, PI Scott Owens, University of Kent.
- PrideMM web interface, PI Mark Batty, University of Kent.
- Mechanised Assume-Guarantee Reasoning for Control Law Diagrams via Circus, PI Jim Woodcock, University of York.
- Automated Testing for Web Browsers, PI Benjamin Livshits, Imperial College London.
- Supervectorizer, PI Greta Yorsh, Queen Mary University of London.
- EASTEND: Efficient Automatic Security Testing for Dynamic Languages, PI Dr Johannes Kinder Royal Holloway, University of London.
- Automated Reasoning with Fine-Grained Concurrent Collections, PI Dr Ilya Sergey, University College London.