1. |
| Sergey, Dr I | UCL | Program Logics for Compositional Specification and Verification of Distributed Systems | 101,009 |
2. |
| Fensch, Dr C | Heriot-Watt University | Coarse Approximator Compilation | 99,816 |
3. |
| Albrecht, Professor M | Royal Holloway, Univ of London | Bit Security of Learning with Errors for Post-Quantum Cryptography and Fully Homomorphic Encryption | 80,215 |
4. |
| Wagner, Dr I | De Montfort University | PryMe, a Universal Framework to Measure the Strength of Privacy-enhancing Technologies | 88,643 |
5. |
| Kalyvianaki, Dr E | City, University of London | Decentralised, Large-scale Resource Management in Modern Data Centres | 100,712 |
6. |
| | | Financial Deferral | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
|