1. |
| Dr AK Simpson | University of Edinburgh | Linear Observations and Computational Effects | 346,830 |
2. |
| Professor M Fisher | University of Liverpool | Engineering Autonomous Space Software | 375,915 |
2. |
| Professor SM Veres | University of Southampton | Engineering Autonomous Space Software | 420,619 |
4. |
| Dr PR Pietzuch | Imperial College London | Smart Flow - Extendable Event-Based Middleware | 502,843 |
4. |
| Professor JM Bacon | University of Cambridge | Smart Flow - Extendable Event-Based Middleware | 309,006 |
6. |
| Dr PM Sewell | University of Cambridge | Reasoning with Relaxed Memory Models | 813,748 |
7. |
| Professor M Jones | Swansea University | ISIS: Protecting children in online social networks | 33,827 |
7. |
| Professor MA Rashid | Lancaster University | ISIS: Protecting children in online social networks | 430,467 |
7. |
| Dr P Duquenoy | Middlesex University | ISIS: Protecting children in online social networks | 260,325 |
10. |
| Professor D Pradhan | University of Bristol | Synthesis and Optimisation of Designs Based on Novel Canonical Algebraic Structures | 224,575 |
11. |
| Dr A Smaill | University of Edinburgh | A cognitive model of axiom formulation and reformulation with application to AI and software engineering | 514,047 |
11. |
| Dr S Colton | Imperial College London | A cognitive model of axiom formulation and reformulation with application to AI and software engineering | 77,901 |
11. |
| Dr A Ireland | Heriot-Watt University | A cognitive model of axiom formulation and reformulation with application to AI and software engineering | 74,143 |
14. |
| Dr SR Welbourne | The University of Manchester | PDP-squared: Meaningful PDP language models using parallel distributed processors. | 812,212 |
15. |
| Professor M Shanahan | Imperial College London | Modular Neural Simulation with Reconfigurable Hardware | 628,211 |
16. |
| | | Not Funded | |
17. |
| | | Not Funded | |
18. |
| | | Not Funded | |
19. |
| | | Not Funded | |
19. |
| | | Not Funded | |
19. |
| | | Not Funded | |
22. |
| | | Not Funded | |
22. |
| | | Not Funded | |
22. |
| | | Not Funded | |
25. |
| | | Not Funded | |
26. |
| | | Not Funded | |
27. |
| | | Not Funded | |
28. |
| | | Not Funded | |
29. |
| | | Not Funded | |
30. |
| | | Not Funded | |
31. |
| | | Not Funded | |
32. |
| | | Not Funded | |
33. |
| | | Not Funded | |
33. |
| | | Not Funded | |
35. |
| | | Not Funded | |
35. |
| | | Not Funded | |
37. |
| | | Not Funded | |
38. |
| | | Not Funded | |
38. |
| | | Not Funded | |
40. |
| | | Not Funded | |
41. |
| | | Not Funded | |
41. |
| | | Not Funded | |
43. |
| | | Not Funded | |
43. |
| | | Not Funded | |
45. |
| | | Not Funded | |
45. |
| | | Not Funded | |
47. |
| | | Not Funded | |
48. |
| | | Not Funded | |
49. |
| | | Not Funded | |
50. |
| | | Not Funded | |
51. |
| | | Not Funded | |
52. |
| | | Not Funded | |
53. |
| | | Not Funded | |
53. |
| | | Not Funded | |
55. |
| | | Not Funded | |
56. |
| | | Not Funded | |
57. |
| | | Not Funded | |