1. |
| Wadler, Professor P | University of Edinburgh | From Data Types to Session Types---A Basis for Concurrency and Distribution | 3,956,088 |
2. |
| Al-Hashimi, Professor B | University of Southampton | PRiME: Power-efficient, Reliable, Many-core Embedded systems | 5,644,636 |
3. |
| Cumming, Professor DRS | University of Glasgow | The Multicorder | 3,403,307 |
4. |
| | | Not Funded | |
5. |
| | | Not Funded | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
|