1. |
| Ward, Dr J D | Queen Mary University of London | Practical Submodular Optimisation Beyond the Standard Greedy Algorithm | 121,643 |
2. |
| Pereyra, Dr M | Heriot-Watt University | Bayesian model selection & calibration for computational imaging | 244,528 |
3. |
| Antichi, Dr G | Queen Mary University of London | NEAT: NEtwork dATa plane measurements as first class primitive | 394,776 |
4. |
| Ahrens, Dr B | University of Birmingham | A theory of type theories | 261,609 |
5. |
| | | Not Funded | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
0. |
| | | Deferred for Additional Reviewers | |
|