1. |
| Heijltjes, Dr W B | University of Bath | Typed Lambda-Calculi with Sharing and Unsharing | 325,415 |
2. |
| Asenov, Professor A | University of Glasgow | Variability-aware RRAM PDK for design based research on FPGA/neuro computing | 408,034 |
2. |
| Zhang, Professor W | Liverpool John Moores University | Variability-aware RRAM PDK for design based research on FPGA/neuro computing | 378,364 |
3. |
| Derrick, Professor J | University of Sheffield | Verifiably Correct Transactional Memory. | 406,411 |
3. |
| Dongol, Professor B | University of Surrey | Verifiably Correct Transactional Memory | 397,680 |
3. |
| Batty, Professor M | University of Kent | Verifiably Correct Transactional Memory | 82,904 |
4. |
| Pieris, Dr A | University of Edinburgh | Efficient Querying of Inconsistent Data | 606,439 |
5. |
| | | Not Funded | |
5. |
| | | Not Funded | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
12. |
| | | Not Funded | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
14. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
17. |
| | | Not Funded | |
19. |
| | | Not Funded | |
19. |
| | | Not Funded | |
21. |
| | | Not Funded | |
22. |
| | | Not Funded | |
23. |
| | | Not Funded | |
|