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
Improving customer experience while ensuring data privacy for intelligent mobilityTreharne, Dr H E 364,323
Trusted and Transparent Voting SystemsSchneider, Professor SA 614,484
Verifiably correct concurrency abstractionsDongol, Dr B 9,041
Verifiably Correct Transactional MemoryDongol, Dr B 397,680

Total Number of Grants: 6
Total Value of Grants: £1,771,445

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