EPSRC logo

Current EPSRC Support by Partner

Partner: University of Augsburg

Grant TitleHolding OrganisationValue (£)
Verifiably Correct Transactional Memory.University of Sheffield 406,411
Verifying concurrent algorithms on Weak Memory ModelsUniversity of Sheffield 389,207

Total Number of Grants: 2
Total Value of Grants: £795,619

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