EPSRC logo
EPSRC Support By Scheme in Standard Research

Organisation: University of Cambridge
Department: Computer Science and Technology

Grant TitlePrincipal InvestigatorValue (£)
Automatic Binary ParallelisationJones, Dr TM 850,187
Automating Representation Choice for AI ToolsJamnik, Professor M 760,893
CAPcelerate: Capabilities for Heterogeneous AcceleratorsJones, Dr TM 1,199,866
CHERI for Hypervisors and Operating Systems (CHaOS)Watson, Dr R N M 875,939
Circuits, Logic and SymmetryDawar, Professor A 362,033
Higher Algebra and Quantum ProtocolsVicary, Dr JO 234,355
Interdisciplinary Centre for Finding, Understanding and Countering Crime in the CloudAnderson, Professor RJ 1,975,496
IOSEC - Protection and Memory Safety for Input/Output SecurityWatson, Dr R N M 511,891
Monoidal bicategories, linear logic and operadsFiore, Professor MP 105,894
Opening Up Minds: Engaging Dialogue Generated From Argument MapsVlachos, Dr A 249,273
Realising Accountable Intelligent Systems (RAInS)Singh, Dr J 206,363
Resources and co-resources: a junction between semantics and descriptive complexityDawar, Professor A 399,683

Total Number of Grants: 12
Total Value of Grants: £7,731,873

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