1. |
| Orchard, Dr DA | University of Kent | Verifying Resource-like Data Use in Programs via Types | 229,328 |
2. |
| Berta, Dr MA | Imperial College London | Optimising Information Processing for Quantum Technologies | 275,132 |
3. |
| Daviaud, Dr L | City, University of London | Learning, Approximating and Minimising Streaming Automata for Large-scale Optimisation | 249,527 |
4. |
| | | Not Funded | |
5. |
| | | Not Funded | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
|