EPSRC logo
Current EPSRC Support by Department

Organisation: University of Surrey
Department: Computing Science

Grant TitlePrincipal InvestigatorValue (£)
Academic Centre of Excellence in Cyber Security Research - University of SurreySchneider, Professor SA 81,966
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure SystemsBoureanu, Dr IC 303,951
Verifiably Correct Swarm AttestationDongol, Dr B 514,155
Verifiably Correct Transactional MemoryDongol, Dr B 397,680

Total Number of Grants: 4
Total Value of Grants: £1,297,752

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