1. |
| Nunez-Yanez, Dr J | University of Bristol | Energy Proportional Computing With Heterogeneous and Reconfigurable Processors (ENPOWER) | 392,717 |
1. |
| Nikolopoulos, Professor D | Queen's University of Belfast | ENPOWER | 348,326 |
2. |
| Laird, Dr J | University of Bath | Semantic Types for Verified Program Behaviour | 265,061 |
3. |
| Burr, Professor AG | University of York | Network Coded Modulation for Next Generation Wireless Access Networks | 585,003 |
3. |
| Zheng, Professor F | University of Reading | Network Coded Modulation for Next Generation Wireless Access Networks | 306,224 |
4. |
| Alechina, Dr N | University of Nottingham | Verification of resource-bounded multi-agent systems (VRBMAS) | 280,864 |
4. |
| Raimondi, Dr F | Middlesex University | Verification of resource-bounded multi-agent systems | 31,421 |
5. |
| | | Financial Deferral | |
6. |
| | | Financial Deferral | |
6. |
| | | Financial Deferral | |
6. |
| | | Financial Deferral | |
6. |
| | | Financial Deferral | |
7. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
12. |
| | | Not Funded | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
16. |
| | | Not Funded | |
16. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
17. |
| | | Not Funded | |
17. |
| | | Not Funded | |
18. |
| | | Not Funded | |
19. |
| | | Not Funded | |
20. |
| | | Not Funded | |
21. |
| | | Not Funded | |
21. |
| | | Not Funded | |
22. |
| | | Not Funded | |
23. |
| | | Not Funded | |
23. |
| | | Not Funded | |
24. |
| | | Not Funded | |
24. |
| | | Not Funded | |
25. |
| | | Not Funded | |
26. |
| | | Not Funded | |
27. |
| | | Not Funded | |
28. |
| | | Not Funded | |
28. |
| | | Not Funded | |
28. |
| | | Not Funded | |
|