1. |
| Ordyniak, Dr S | University of Leeds | Next Generation of Algorithms for Mixed Integer Linear Programming (MILP) | 215,869 |
2. |
| Bramley, Dr NR | University of Edinburgh | Computational constructivism: The algorithmic basis of discovery | 649,875 |
3. |
| Reger, Dr G | University of Manchester, The | CAPS: Collaborative Architectures for Proof Search | 251,632 |
4. |
| Freydenberger, Dr DD | Loughborough University | Foundations of the Finite Model Theory of Concatenation | 397,698 |
5. |
| Ding, Dr Y | Heriot-Watt University | Boosting power efficiency of physical-layer secured MIMO communications | 251,815 |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
|