1. |
| Dr J Ouaknine | University of Oxford | Automated Verification of Probabilistic Programs | 290,346 |
2. |
| Dr D Page | University of Bristol | Architectural and Micro-architectural Countermeasures against Physical Attack | 823,396 |
3. |
| Dr C Mascolo | University of Cambridge | FRESNEL: FedeRatEd Secure sensor NEtwork Laboratory | 610,072 |
3. |
| Dr I Brown | University of Oxford | FRESNEL: FedeRatEd Secure sensor NEtwork Laboratory | 446,934 |
4. |
| Professor AJ Marshall | Queen's University of Belfast | Cross Layer Techniques for Intrusion Tolerant Networks | 204,936 |
4. |
| Professor D Parish | Loughborough University | Cross Layer Techniques for Intrusion Tolerant Networks | 175,351 |
5. |
| Professor R Murray | Imperial College London | Spin Ping Pong - Towards a Quantum Dot spin QuBit | 901,314 |
6. |
| Professor J Whittle | Lancaster University | EA-MDE: An Empirical Assessment of the Efficacy of Model Driven Engineering | 132,770 |
7. |
| Dr IJ Miguel | University of St Andrews | A Constraint Solver Synthesiser | 929,076 |
8. |
| Dr O Lemon | Heriot-Watt University | Scaling up Statistical Spoken Dialogue Systems for real user goals using automatic belief state compression | 297,343 |
8. |
| Dr J Hoey | University of Dundee | Scaling up Statistical Spoken Dialogue Systems for real user goals using automatic belief state compression | 14,057 |
9. |
| Professor H Gellersen | Lancaster University | EAR: Eye-based Activity Recognition | 146,112 |
44. |
| Dr AA Adams | University of Reading | Anglo-Japanese Information Ethics: Comparisons and Cross-Fertilisation | 38,015 |
44. |
| Dr K Bogdanov | University of Sheffield | StaMInA: A Novel Competition to Drive the Comparative Evaluation of State Machine Inference Approaches | 19,772 |
10. |
| | | Financial Deferral | |
10. |
| | | Financial Deferral | |
11. |
| | | Financial Deferral | |
12. |
| | | Financial Deferral | |
13. |
| | | Not Funded | |
14. |
| | | Not Funded | |
15. |
| | | Not Funded | |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
18. |
| | | Not Funded | |
19. |
| | | Not Funded | |
21. |
| | | Not Funded | |
21. |
| | | Not Funded | |
22. |
| | | Not Funded | |
22. |
| | | Not Funded | |
23. |
| | | Not Funded | |
24. |
| | | Not Funded | |
24. |
| | | Not Funded | |
24. |
| | | Not Funded | |
25. |
| | | Not Funded | |
26. |
| | | Not Funded | |
27. |
| | | Not Funded | |
28. |
| | | Not Funded | |
28. |
| | | Not Funded | |
29. |
| | | Not Funded | |
30. |
| | | Not Funded | |
31. |
| | | Not Funded | |
32. |
| | | Not Funded | |
33. |
| | | Not Funded | |
33. |
| | | Not Funded | |
34. |
| | | Not Funded | |
35. |
| | | Not Funded | |
36. |
| | | Not Funded | |
37. |
| | | Not Funded | |
38. |
| | | Not Funded | |
38. |
| | | Not Funded | |
38. |
| | | Not Funded | |
39. |
| | | Not Funded | |
40. |
| | | Not Funded | |
41. |
| | | Not Funded | |
41. |
| | | Not Funded | |
41. |
| | | Not Funded | |
42. |
| | | Not Funded | |
42. |
| | | Not Funded | |
43. |
| | | Not Funded | |
0. |
| | | Invited Resubmission | |
0. |
| | | Deferred For Additional Reviewers | |