1. |
| Abramsky, Professor S | University of Oxford | Resources and co-resources: a junction between semantics and descriptive complexity | 400,336 |
1. |
| Dawar, Professor A | University of Cambridge | Resources and co-resources: a junction between semantics and descriptive complexity | 399,683 |
2. |
| Ong, Professor CHL | University of Oxford | Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs | 409,019 |
2. |
| Ramsay, Dr S J | University of Bristol | Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs | 366,931 |
3. |
| Meeks, Dr K | University of Glasgow | Multilayer Algorithmics to Leverage Graph Structure (MultilayerALGS) | 765,538 |
4. |
| Brady, Dr EC | University of St Andrews | Programming as Conversation: Type-Driven Development in Action | 367,276 |
5. |
| Murphy, Professor JD | University of Warwick | Computational spectral imaging in the THz band | 234,311 |
5. |
| Hendry, Professor E | University of Exeter | "Computational spectral imaging in the THz band" | 612,664 |
6. |
| | | Financial Deferral | |
7. |
| | | Financial Deferral | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
9. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
10. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
13. |
| | | Not Funded | |
13. |
| | | Not Funded | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
15. |
| | | Not Funded | |
15. |
| | | Not Funded | |
16. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
17. |
| | | Not Funded | |
18. |
| | | Not Funded | |
18. |
| | | Not Funded | |
19. |
| | | Not Funded | |
20. |
| | | Not Funded | |
20. |
| | | Not Funded | |
20. |
| | | Not Funded | |
21. |
| | | Not Funded | |
22. |
| | | Not Funded | |
23. |
| | | Not Funded | |
24. |
| | | Not Funded | |
24. |
| | | Not Funded | |
|