EPSRC logo

Current EPSRC Support by Partner

Partner: Galois, Inc

Grant TitleHolding OrganisationValue (£)
Holistic Design of Secure Systems on Capability Hardware (HD-Sec)University of Southampton 1,030,183
Programming as Conversation: Type-Driven Development in ActionUniversity of St Andrews 367,276
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)University of Sheffield 422,585
Verifying Resource-like Data Use in Programs via TypesUniversity of Kent 229,328

Total Number of Grants: 4
Total Value of Grants: £2,049,371

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