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