1. |
| Ghani, Professor N | University of Strathclyde | Homotopy Type Theory: Programming and Verification | 499,631 |
1. |
| Altenkirch, Dr T | University of Nottingham | Homotopy Type Theory: Programming and Verification | 408,815 |
1. |
| Gambino, Dr N | University of Leeds | Homotopy Type Theory: Programming and Verification | 93,134 |
2. |
| Wiaux, Professor Y | Heriot-Watt University | Compressive Imaging in Radio Interferometry | 605,742 |
2. |
| McEwen, Professor J | UCL | Compressive Imaging for radio Interferometry (CIRI) | 27,111 |
2. |
| Davies, Professor M | University of Edinburgh | Compressive Imaging for Radio Interferometry | 17,446 |
3. |
| Sellathurai, Professor M | Heriot-Watt University | Large Scale Antenna Systems Made Practical: Advanced Signal Processing for Compact Deployments [LSAS-SP] | 279,512 |
3. |
| Masouros, Professor C | UCL | Large Scale Antenna Systems Made Practical: Advanced Signal Processing for Compact Deployments [LSAS-SP] | 267,077 |
4. |
| Lambotharan, Professor S | Loughborough University | Massive MIMO wireless networks: Theory and methods | 289,066 |
4. |
| Wong, Professor K | UCL | Massive MIMO wireless networks: Theory and methods | 302,791 |
4. |
| Nallanathan, Professor A | Kings College London | Massive MIMO wireless networks: Theory and methods | 292,948 |
5. |
| | | Financial Deferral | |
5. |
| | | Financial Deferral | |
6. |
| | | Financial Deferral | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
|