1. |
| Dr PS Oliveto | University of Birmingham | Rigorous Runtime Analysis of Nature Inspired Meta-heuristics | 264,223 |
2. |
| Dr S Sarkar | University of Cambridge | Multiprocessors: From Microarchitecture to Semantic Theory | 269,820 |
3. |
| Dr A Coles | University of Strathclyde | Maximising Efficiency of Resource Usage Under Uncertainty in AI Planning | 203,745 |
4. |
| Mr A To | University of Oxford | A generic transducer-based approach to modelling and verifying infinite-state systems: techniques, applications, and tools | 250,894 |
6. |
| | | Fellowship Not Funded | |
7. |
| | | Fellowship Not Funded | |
8. |
| | | Fellowship Not Funded | |
9. |
| | | Fellowship Not Funded | |
10. |
| | | Fellowship Not Funded | |