1. |
| Brotherston, Dr J | UCL | Boosting Automated Verification Using Cyclic Proof | 550,181 |
2. |
| Power, Dr AJ | University of Bath | Coalgebraic Logic Programming for Type Inference | 37,115 |
2. |
| Komendantskaya, Dr E | University of Dundee | COALGEBRAIC LOGIC PROGRAMMING FOR TYPE INFERENCE: Parallelism and Corecursion for New Generation of Programming Languages | 280,590 |
3. |
| Kuball, Professor M | University of Bristol | GaN Electronics: RF Reliability and Degradation Mechanisms | 540,317 |
3. |
| Tasker, Professor PJ | Cardiff University | GaN Electronics: RF Reliability and Degradation Mechanisms | 222,392 |
4. |
| Rodrigues, Professor M | UCL | Efficient Energy Management in Energy Harvesting Wireless Sensor Networks: An Approach Based on Distributed Compressive Sensing | 587,661 |
4. |
| Wassell, Dr IJ | University of Cambridge | Efficient Energy Management in Energy Harvesting Wireless Sensor Networks: An Approach Based on Distributed Compressive Sensing | 275,842 |
5. |
| | | Financial Deferral | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
12. |
| | | Not Funded | |
13. |
| | | Not Funded | |
13. |
| | | Not Funded | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
16. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
18. |
| | | Not Funded | |
19. |
| | | Not Funded | |
20. |
| | | Not Funded | |
20. |
| | | Not Funded | |
21. |
| | | Not Funded | |
21. |
| | | Not Funded | |
22. |
| | | Not Funded | |
23. |
| | | Not Funded | |
24. |
| | | Not Funded | |
24. |
| | | Not Funded | |
25. |
| | | Not Funded | |
26. |
| | | Not Funded | |
27. |
| | | Not Funded | |
27. |
| | | Not Funded | |
28. |
| | | Not Funded | |
29. |
| | | Not Funded | |
30. |
| | | Not Funded | |
31. |
| | | Not Funded | |
32. |
| | | Not Funded | |
33. |
| | | Not Funded | |
|