1. |
| Ong, Professor CHL | University of Oxford | Compositional Higher-Order Model Checking: Logics, Models and Algorithms | 630,834 |
2. |
| Nagarajan, Dr V | University of Edinburgh | C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence | 668,897 |
3. |
| Peacock, Professor A | University of Southampton | Laser-Engineered Silicon: Manufacturing Low Cost Photonic Systems | 570,518 |
4. |
| Counsell, Professor SJ | Brunel University London | ASSESSING THE QUALITY OF TEST SUITES IN INDUSTRIAL CODE ("AQUATIC") | 332,691 |
5. |
| Oulton, Professor R | University of Bristol | SPIN SPACE - Spatially encoded telecoms and quantum technologies using spin-enabled all-optical switching | 842,457 |
5. |
| Henning, Professor I | University of Essex | Spatially encoded telecoms and quantum technologies using spin-enabled all-optical switching - Spin Space | 675,876 |
6. |
| Wolter, Professor F | University of Liverpool | iTract: Islands of Tractability in Ontology-Based Data Access | 342,227 |
6. |
| Zakharyaschev, Professor M | Birkbeck College | iTract: Islands of Tractability in Ontology-Based Data Access | 354,117 |
7. |
| Rice, Dr AC | University of Cambridge | CamFort: Automated evolution and verification of computational science models | 542,082 |
8. |
| | | Financial Deferral | |
9. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
16. |
| | | Not Funded | |
16. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
17. |
| | | Not Funded | |
17. |
| | | Not Funded | |
18. |
| | | Not Funded | |
18. |
| | | Not Funded | |
19. |
| | | Not Funded | |
20. |
| | | Not Funded | |
21. |
| | | Not Funded | |
21. |
| | | Not Funded | |
22. |
| | | Not Funded | |
23. |
| | | Not Funded | |
23. |
| | | Not Funded | |
24. |
| | | Not Funded | |
24. |
| | | Not Funded | |
24. |
| | | Not Funded | |
24. |
| | | Not Funded | |
25. |
| | | Not Funded | |
26. |
| | | Not Funded | |
26. |
| | | Not Funded | |
|