EPSRC logo

Current EPSRC Support by Partner

Partner: INRIA

Grant TitleHolding OrganisationValue (£)
Semantics-Directed Compiler Construction: From Formal Semantics to Certified CompilersUniversity of Nottingham 466,425
UKRI AI Centre for Doctoral Training in Responsible and Trustworthy in-the-world NLPUniversity of Edinburgh 9,745,949
VeTSpec: Verified Trustworthy Software SpecificationImperial College London 1,579,794

Total Number of Grants: 3
Total Value of Grants: £11,792,168

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