1. |
| Vlachos, Dr A | University of Sheffield | eNeMILP: Non-Monotonic Incremental Language Processing | 100,697 |
2. |
| England, Dr M | Coventry University | Embedding Machine Learning within Quantifier Elimination Procedures | 100,988 |
3. |
| Benetos, Dr E | Queen Mary University of London | Integrating sound and context recognition for acoustic scene analysis | 97,839 |
4. |
| Batty, Dr M | University of Kent | Compositional, dependency-aware C++ concurrency | 98,786 |
5. |
| Belle, Dr V | University of Edinburgh | Towards Explainable and Robust Statistical AI: A Symbolic Approach | 100,740 |
6. |
| subr, Dr k | University of Edinburgh | Holey Sampling: Topological Analysis of Sampling Patterns for Assessing Error in High-dimensional Quadrature | 100,964 |
7. |
| Hurst, Dr W | Liverpool John Moores University | Data Analytics for Health-Care Profiling using Smart Meters | 99,892 |
8. |
| Zanasi, Dr F | UCL | Enhanced Formal Reasoning for Algebraic Network Theory | 100,613 |
9. |
| Sambandan, Dr S | University of Cambridge | Self-Healing of Open Interconnect Faults for Reliable Large Area Electronic Systems | 100,520 |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
|