EPSRC logo

Current EPSRC Support by Partner

Partner: Facebook UK

Grant TitleHolding OrganisationValue (£)
A coalgebraic framework for reductive logic and proof-search (ReLiC)UCL 974,936
EPSRC Centre for Doctoral Training in Modern Statistics and Statistical Machine LearningImperial College London 6,159,464
UKRI Centre for Doctoral Training in Interactive Artificial IntelligenceUniversity of Bristol 6,842,132
VeTSpec: Verified Trustworthy Software SpecificationImperial College London 1,579,794

Total Number of Grants: 4
Total Value of Grants: £15,556,326

The grant value may include the cost of access to facilities (these funds are not awarded to the grant holding organisation).