EPSRC logo
EPSRC Support by Research Topic in Computer Sys. & Architecture

We classify grants using one or more research topics. Value is the total value of the grants awarded, not the proportion assigned to different research topics, so it does not show the level of investment in different research areas.

Grant TitlePrincipal
Investigator		OrganisationDepartmentTotal Grant
Value (£)
AppControl: Enforcing Application Behaviour through Type-Based ConstraintsVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,483,020
CAPcelerate: Capabilities for Heterogeneous AcceleratorsJones, Professor TMUniversity of CambridgeComputer Science and Technology 1,202,313
Chrompartments: Hybrid Compartmentalisation for Web BrowsersTratt, Professor LKings College LondonInformatics 1,077,295
Cloud Attestables on Morello Boards (CAMB)Crowcroft, Professor JUniversity of CambridgeComputer Science and Technology 420,654
Dijkstra's Pipe: Timing-Secure Processors by DesignPatras, Dr PUniversity of EdinburghSch of Informatics 535,239
Efficient Cross-Domain DSL Development for ExascaleGorman, Professor GImperial College LondonEarth Science and Engineering 430,061
Efficient Cross-Domain DSL Development for ExascaleGrosser, Dr TCUniversity of EdinburghSch of Informatics 577,148
EPSRC Centre for Doctoral Training in Cyber Security for the EverydayMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 6,323,611
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 6,063,927
EPSRC Centre for Doctoral Training in Trust, Identity, Privacy and Security in Large-scale Infrastructures (TIPS-at-Scale)Rashid, Professor AUniversity of BristolComputer Science 6,522,797
Exploring Theories and Semantics in Event-BFarrell, Dr MUniversity of Manchester, TheComputer Science 165,304
FlexCap: Exploring Hardware Capabilities in Unikernels and Flexible Isolation OSesOlivier, Dr PUniversity of Manchester, TheComputer Science 264,072
Horizon: Trusted Data-Driven ProductsKoleva, Professor BUniversity of NottinghamHorizon Digital Economy Research 4,075,506
Integrated Simulation at the Exascale: coupling, synthesis and performanceWells, Professor GNUniversity of CambridgeEngineering 630,806
Integrated Simulation at the Exascale: coupling, synthesis and performanceWells, Professor GNUniversity of CambridgeEngineering 630,806
Integrated Simulation at the Exascale: coupling, synthesis and performanceBetcke, Professor TUCLMathematics 304,731
Integrated Simulation at the Exascale: coupling, synthesis and performanceBetcke, Professor TUCLMathematics 304,731
Language Embeddings for Proof EngineeringKavvos, Dr AUniversity of BristolComputer Science 97,448
Learned Exascale Computational Imaging (LEXCI)Pereyra, Dr MHeriot-Watt UniversityS of Mathematical and Computer Sciences 40,274
Learned Exascale Computational Imaging (LEXCI)McEwen, Professor JUCLMullard Space Science Laboratory 972,421
MEBI: Mechanised Bisimilarities and Behavioural-typed ProcessesCastro-Perez, Dr DUniversity of KentSch of Computing 162,324
Morello-HAT: Morello High-Level API and ToolingVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,128,654
National Edge AI Hub for Real Data: Edge Intelligence for Cyber-disturbances and Data QualityRanjan, Professor RNewcastle UniversitySch of Computing 10,277,846
On the way to the asymptotic limit: mathematics of slow-fast coupling in PDEsWingate, Professor BUniversity of ExeterMathematics 849,609
Particles At eXascale on High Performance Computers (PAX-HPC)Woodley, Professor SMUCLChemistry 3,041,191
REDONDA: A Next-Generation State-Machine Replication Protocol for BlockchainChockler, Professor GUniversity of SurreyComputing Science 140,339
Redonda: A Next-Generation State-Machine Replication Protocol for BlockchainO'Keeffe, Dr DRoyal Holloway, Univ of LondonComputer Science 144,186
Renewal and upgrade of the 500 MHz NMR spectrometer of the School of Chemistry NMR facilityMount, Professor AUniversity of EdinburghCollege of Science and Engineering 1,100,000
RESICS:Resilience and Safety to attacks in ICS and CPSLupu, Professor ECImperial College LondonComputing 919,122
RESICS:Resilience and Safety to attacks in ICS and CPSLupu, Professor ECImperial College LondonComputing 919,122
RESICS:Resilience and Safety to attacks in ICS and CPSLupu, Professor ECImperial College LondonComputing 919,122
SACRED-MA: Safe And seCure REmote Direct Memory AccessDongol, Professor BUniversity of SurreyComputing Science 466,480
SACRED-MA: Safe And seCure REmote Direct Memory AccessRaad, Dr AImperial College LondonComputing 452,577
SECCOM: Securing composable hardware platformsGoodacre, Professor JUniversity of Manchester, TheComputer Science 789,633
SECCOM: Securing composable hardware platformsGoodacre, Professor JUniversity of Manchester, TheComputer Science 789,633
SECCOM: Securing composable hardware platformsGoodacre, Professor JUniversity of Manchester, TheComputer Science 789,633
SPRITE+ 2: The Security, Privacy, Identity and Trust Engagement Networkplus (phase 2).Elliot, Professor MJUniversity of Manchester, TheSocial Sciences 3,115,834
Strategic Partnership in Computational Science for Advanced Simulation and Modelling of Engineering Systems - ASiMoVParsons, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 6,415,987
SysGenX: Composable software generation for system-level simulation at ExascaleFarrell, Professor PEUniversity of OxfordMathematical Institute 365,774
SysGenX: Composable software generation for system-level simulation at exascaleWells, Professor GNUniversity of CambridgeEngineering 979,027
SysGenX: Composable software generation for system-level simulation at ExascaleBetcke, Professor TUCLMathematics 764,866
SysGenX: Composable software generation for system-level simulation at ExascaleHam, Dr DAImperial College LondonMathematics 813,413
Transparent pointer safety: Rust to Lua to OS ComponentsBatty, Professor MUniversity of KentSch of Computing 494,770
Turbulence at the exascale: application to wind energy, green aviation, air quality and net-zero combustionLaizet, Professor SImperial College LondonAeronautics 2,670,328
TYPDSEC: TYPe-based information Declassification and its SEcure CompilationRajani, Dr VUniversity of KentSch of Computing 160,392
Uncertainty Quantification at the Exascale (EXA-UQ)Challenor, Professor PUniversity of ExeterMathematics 1,006,031
UNderwater IntervenTion for offshore renewable Energies (UNITE)Petillot, Professor YHeriot-Watt UniversitySch of Engineering and Physical Science 1,163,524
User-controlled hardware security anchors: evaluation and designsRyan, Professor MUniversity of BirminghamSchool of Computer Science 486,082
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794

Total Number of Grants: 49
Total Value of Grants: £75,027,455

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