1. |
| Cheng, Professor P | University of Sussex | Automating Representation Choice for AI Tools | 397,107 |
1. |
| Jamnik, Professor M | University of Cambridge | Automating Representation Choice for AI Tools | 760,893 |
2. |
| Davenport, Professor JH | University of Bath | Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition | 505,757 |
2. |
| England, Dr M | Coventry University | Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition | 421,951 |
3. |
| Guasoni, Dr M | University of Southampton | Self-organized light in multicore optical fibers: a route to scalable high-power lasers and all-optical signal processing | 668,181 |
4. |
| Weides, Professor MP | University of Glasgow | Entangled quantum sensors: enhanced precision at the Heisenberg limit | 514,764 |
5. |
| Bocchi, Dr L | University of Kent | Session Types for Reliable Distributed Systems (STARDUST) | 555,120 |
5. |
| Gay, Professor SJ | University of Glasgow | Session Types for Reliable Distributed Systems (STARDUST) | 563,806 |
5. |
| Yoshida, Professor N | Imperial College London | Session Types for Reliable Distributed Systems (STARDUST) | 697,651 |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
|