| A coalgebraic framework for reductive logic and proof-search (ReLiC) | UCL |
974,936
|
| AP4L: Adaptive PETs to Protect & emPower People during Life Transitions | University of Surrey |
2,794,276
|
| EPSRC Centre for Doctoral Training in Modern Statistics and Statistical Machine Learning | Imperial College London |
6,202,023
|
| Equally Safe Online | Heriot-Watt University |
839,660
|
| Health Resilience Interactive Technology: transforming self-management for individual and community health via inbodied interaction design | University of Southampton |
1,585,890
|
| UKRI Centre for Doctoral Training in Interactive Artificial Intelligence | University of Bristol |
6,911,930
|
| VeTSpec: Verified Trustworthy Software Specification | Imperial College London |
1,579,794
|
Total Number of Grants: 7
Total Value of Grants: £20,888,509
The grant value may include the cost of access to facilities (these funds are not awarded to the grant holding organisation).