1. |
| Roudaut, Dr A | University of Bristol | Automorph: Bringing Rigor to the Creation of Morphing Interactive Devices | 89,340 |
2. |
| Leather, Dr H | University of Edinburgh | SchedUling on heterogeneous Mobile Multicores based on quality of ExpeRience | 101,027 |
3. |
| Lin, Dr C | University of Aberdeen | Generating Descriptive Sentence Labels for Multinomial Sentiment-bearing Topics (GenSent) | 100,749 |
4. |
| Chen, Dr T | Middlesex University | Perturbation Analysis for Probabilistic Verification | 100,991 |
5. |
| Arapinis, Dr M D | University of Edinburgh | Verification of cryptographic protocols: modular analysis of equivalence properties | 97,773 |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
|