1. |
| Chatzigeorgiou, Dr I | Lancaster University | Network error control for Rapid and Reliable Data Delivery (R2D2) | 98,438 |
2. |
| Owens, Dr SA | University of Kent | Relaxed Memory Model Design for Theory and Practice | 98,538 |
3. |
| Blumensath, Dr T | University of Southampton | Constrained low rank matrix recovery: from efficient algorithms to brain network imaging | 94,392 |
4. |
| Alglave, Dr J | UCL | Partial order semantics for concurrent program verification | 98,000 |
5. |
| Parker, Professor D | University of Birmingham | Automated Game-Theoretic Verification of Security Systems | 98,762 |
6. |
| | | Financial Deferral | |
7. |
| | | Financial Deferral | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
|