1. |
| Parlato, Dr G | University of Southampton | CONSEQUENCER: Sequentialization-based Verification of Concurrent Programs with FIFO channels | 98,969 |
2. |
| HU, Professor J | Liverpool Hope University | Analysis and Optimization of Cache Resource Allocation for Energy-Efficient Information-Centric Networking | 92,017 |
3. |
| Kim, Dr K | Lancaster University | Personalized Exploration of Imagery Database | 97,878 |
4. |
| Borgo, Dr R | Swansea University | Visualization and Data Analysis at the Big Data Scale | 98,791 |
5. |
| Ko, Dr Y | Queen's University of Belfast | Multi-Carrier Index Keying for Next Generation Gigabit Wireless Communications | 92,911 |
6. |
| Nacenta, Professor M | University of St Andrews | InfoTypography: Information Visualisation through and for Text | 98,549 |
7. |
| | | Not Funded | |
8. |
| | | Not Funded | |
9. |
| | | Not Funded | |
10. |
| | | Not Funded | |
0. |
| | | Deferred for Additional Reviewers | |
|