1. |
| Piterman, Dr N | University of Leicester | p-Automata - Foundation for Probabilistic Model Checking | 99,014 |
2. |
| Martin, Dr B D | Middlesex University | Infinite-domain Constraint Satisfaction Problems | 100,245 |
3. |
| Rodriguez Echavarria, Dr K | University of Brighton | Automatic Semantic Analysis of 3D Content in Digital Repositories | 97,491 |
4. |
| Alexander, Dr RD | University of York | Testing Autonomous Vehicle Software using Situation Generation | 97,100 |
5. |
| Khelifi, Dr F | Northumbria, University of | Temporal forensic analysis of digital Camera sensor imperfections for picture dating | 95,000 |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
|