1. |
| Kell, Dr S R | Kings College London | DIADEM: debugging made dependable and measurable | 324,823 |
2. |
| Paoletti, Dr N | Royal Holloway, Univ of London | MCPS-VeriSec: Model-based Security of Medical Cyber-Physical Systems | 424,397 |
3. |
| Shi, Dr CC | London School of Economics & Pol Sci | Statistical Methods in Offline Reinforcement Learning | 398,393 |
4. |
| | | Not Funded | |
5. |
| | | Not Funded | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
|