1. |
| Brady, Dr EC | University of St Andrews | Type-driven Verification of Communicating Systems | 93,995 |
2. |
| Carrington, Dr P | Lancaster University | Novel InSb quantum dots monolithically grown on silicon for low cost mid-infrared light emitting diodes | 99,720 |
3. |
| McLaughlin, Dr K | Queen's University of Belfast | Analysing and Detecting Advanced Multi-stage Attacks against ICS (ADAMA) | 99,552 |
4. |
| | | Not Funded | |
5. |
| | | Not Funded | |
|