EPSRC logo

Current EPSRC Support by Partner

Partner: Institute for Advanced Study

Grant TitleHolding OrganisationValue (£)
Homotopy Type Theory: Programming and VerificationUniversity of Strathclyde 499,631

Total Number of Grants: 1
Total Value of Grants: £499,631

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