1. |
| Gaboardi, Dr M | University of Dundee | PrivInfer - Programming Languages for Differential Privacy: Conditioning and Inference | 91,961 |
2. |
| Wang, Dr Z | Lancaster University | SANDeRS: Smart, Adaptive Compilation for Dark Silicon | 98,613 |
3. |
| Kiefer, Dr S | University of Oxford | Towards comprehensive verification of stochastic systems | 97,590 |
4. |
| Clopath, Dr C | Imperial College London | Brain-inspired non-stationary learning. | 98,480 |
5. |
| Alexander, Professor J | Lancaster University | MORPHED: Modelling Interaction and Perceptions of Modality Coupling in Self-Actuated Shape-Changing Displays | 96,898 |
6. |
| Grov, Dr G | Heriot-Watt University | DTacs - Program Verifier Tactics : Reducing the Development Time for Program Verifiers with re-usable Verification Strategies | 100,186 |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
11. |
| | | Not Funded | |
12. |
| | | Not Funded | |
0. |
| | | Deferred for Additional Reviewers | |
|