1. |
| Cavalcanti, Professor ALC | University of York | A Calculus for Software Engineering of Mobile and Autonomous Robots | 1,766,824 |
2. |
| Jerrum, Professor M | Queen Mary University of London | Algorithms that count: exploring the limits of tractability | 361,972 |
3. |
| Fisher, Professor M | University of Liverpool | Network on the Verification and Validation of Autonomous Systems | 107,725 |
4. |
| Clark, Dr DJ | UCL | GGGP: Grow and Graft Genetic Programming | 581,560 |
5. |
| Brewster, Professor SA | University of Glasgow | SAM: Automated Attachment Analysis Using the School Attachment Monitor | 776,875 |
6. |
| Schewe, Professor S | University of Liverpool | Energy Efficient Control | 429,107 |
6. |
| Mayr, Dr RM | University of Edinburgh | Energy Efficient Control | 371,397 |
7. |
| | | Financial Deferral | |
8. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
11. |
| | | Not Funded | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
16. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
17. |
| | | Not Funded | |
|