1. |
| Kupke, Dr C | University of Strathclyde | Coalgebraic Foundations of Semi-Structured Data | 99,423 |
2. |
| Venkataramanan, Dr R | University of Cambridge | Reliable, Spectrally Efficient Communication via Sparse Hadamard Codes | 98,927 |
3. |
| Dongol, Dr B | Brunel University London | Verifiably correct high-performance concurrency libraries for multi-core computing systems | 98,219 |
4. |
| | | Financial Deferral | |
5. |
| | | Not Funded | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
|