1. |
| Ridge, Dr T | University of Leicester | Future filesystems: mechanized specification, validation, implementation and verification of filesystems | 91,730 |
2. |
| Sastry, Professor NR | Kings College London | CD-GAIN: Content Delivery Using Graph-based Analysis of Interest Networks | 100,272 |
3. |
| Specia, Professor L | University of Sheffield | Modelling Discourse in Statistical Machine Translation | 99,127 |
4. |
| Rogers, Dr DJ | Cardiff University | Investigating the Power Density of Power Electronics | 100,395 |
5. |
| | | Not Funded | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
|