1. |
| Dr A F Donaldson | University of Oxford | Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming | 235,502 |
2. |
| Dr A Montanaro | University of Bristol | New directions in quantum algorithms | 209,027 |
3. |
| Mr R Salakhutdinov | University of Cambridge | Efficient Learning of Deeply Layered Models | 235,975 |
4. |
| Mr O Gotsman | University of Cambridge | Modular liveness proofs for concurrent programs | 216,181 |
5. |
| Dr DK Wojtczak | University of Oxford | Trust metrics for SPKI/SDSI | 233,507 |
6. |
| | | Fellowship Not Funded | |
7. |
| | | Fellowship Not Funded | |
8. |
| | | Fellowship Not Funded | |
9. |
| | | Fellowship Not Funded | |