EPSRC logo
EPSRC Support by Research Area in Architecture and Operating Systems

Research areas are used to describe EPSRC's portfolio of excellent long term research and high quality postgraduate training.

Grants are classified using one or more research areas. All the grants listed below have some relevance to this research area. The value of the investment is the total awarded by EPSRC and does not reflect the proportion assigned to this research area.

We always try to ensure that grants on the web contains the most recent information but it is possible that some might be slightly out of date.

Grant TitlePrincipal
Investigator
OrganisationDepartmentTotal Grant
Value (£)
AppControl: Enforcing Application Behaviour through Type-Based ConstraintsVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,483,020
Benchmarking for Exascale ComputingWells, Professor GNUniversity of CambridgeEngineering 100,000
C6: Correct-by-Construction Heterogeneous CoherenceBarbalace, Dr AUniversity of EdinburghSch of Informatics 494,698
CapableVMsTratt, Professor LKings College LondonInformatics 837,189
CAPcelerate: Capabilities for Heterogeneous AcceleratorsJones, Professor TMUniversity of CambridgeComputer Science and Technology 1,202,313
CAP-TEE: Capability Architectures for Trusted ExecutionOswald, Dr D FUniversity of BirminghamSchool of Computer Science 1,000,206
CBET-EPSRC: TECAN - Telemetry-Enabled Carbon Aware NetworkingZilberman, Professor NUniversity of OxfordEngineering Science 435,640
CHERI for Hypervisors and Operating Systems (CHaOS)Watson, Dr R N MUniversity of CambridgeComputer Science and Technology 878,316
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
CompBioMedX: Computational Biomedicine at the ExascaleMarzo, Dr AUniversity of SheffieldMechanical Engineering 177,602
CompBioMedX: Computational Biomedicine at the ExascaleCoveney, Professor PUCLChemistry 406,428
Computational Biomedicine at the ExascaleRodriguez, Professor BUniversity of OxfordComputer Science 174,168
Dijkstra's Pipe: Timing-Secure Processors by DesignPatras, Dr PUniversity of EdinburghSch of Informatics 535,239
Distributed Quantum Computing and ApplicationsLeung, Professor KKImperial College LondonElectrical and Electronic Engineering 3,049,365
Edgy OrganismTrefzer, Dr M AUniversity of YorkElectronics 1,409,507
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
Enabling Transient Computing for Unreliable Internet of Things: A Paradigm Shift for Sensor Systems (PROCEEDING)Balsamo, Dr DNewcastle UniversitySch of Engineering 393,416
End to End Authentication of Caller ID in Heterogeneous Telephony SystemsHao, Professor FUniversity of WarwickComputer Science 901,040
EPSRC Centre for Doctoral Training in Collaborative Computational Modelling at the InterfaceBetcke, Professor TUCLCentre for Advanced Research Computing 8,795,896
EPSRC Centre for Doctoral Training in Cyber Security for the EverydayMartin, Professor KRoyal Holloway, Univ of LondonInformation Security 6,324,500
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 6,096,750
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,540,748
Establishing Electrically Programmable Reaction Arrays as Universal Chemical ComputersCronin, Professor LUniversity of GlasgowSchool of Chemistry 733,213
ExCALIBUR H&ES: Intel Xeon GPU Max Pre-Exascale TestbedShellard, Professor EPSUniversity of CambridgeApplied Maths and Theoretical Physics 303,387
ExCALIBUR HES Benchmarking for Performance Portable ApplicationsKoskela, Dr TUCLCentre for Advanced Research Computing 541,175
ExCALIBUR HES CXL technology demonstrator: composable memoryBasden, Dr AGDurham, University ofPhysics 370,299
ExCALIBUR HES RISC-V phase 2 projectBrown, Dr NUniversity of EdinburghEdinburgh Parallel Computing Centre 255,618
ExCALIBUR HES VAST Storage Interoperability With High Performance Networks/Evaluating Prerequisites for Stable Performant Exascale Ecosystem WorkflowsAlam, Dr SUniversity of BristolComputer Science 470,179
ExCALIBUR HES: Exascale Data Testbed for Simulation, Data Analysis & VisualisationAbraham, Dr NLUniversity of CambridgeChemistry 685,087
Exploring Theories and Semantics in Event-BFarrell, Dr MUniversity of Manchester, TheComputer Science 165,304
Future Memcomputing Arrays for Next Generation Computer VisionKemp, Dr NTUniversity of NottinghamSch of Physics & Astronomy 368,171
Generalised Context PrivacyBradbury, Dr M SLancaster UniversityComputing & Communications 387,468
Global Nitrogen Innovation Center for Clean Energy and the Environment (NICCEE)Collins, Professor ALRothamsted ResearchNet Zero and Resilient Farming 2,212,924
Hardware Acceleration of Functional Languages (HAFLANG)Stewart, Dr RHeriot-Watt UniversityS of Mathematical and Computer Sciences 350,700
Hardware Security for Approximate ComputingGU, Dr CQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 298,063
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
Keep LearningMiguel, Professor IJUniversity of St AndrewsComputer Science 378,027
Keep LearningHart, Professor EEdinburgh Napier UniversitySchool of Computing 388,219
Learned Exascale Computational Imaging (LEXCI)McEwen, Professor JUCLMullard Space Science Laboratory 972,421
Magnetic Architectures for Reservoir Computing Hardware (MARCH)Hayward, Dr T JUniversity of SheffieldMaterials Science and Engineering 936,815
MARCH: Magnetic Architectures for Reservoir Computing HardwareTrefzer, Dr M AUniversity of YorkComputer Science 1,162,095
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
Nervous SystemsTrefzer, Dr M AUniversity of YorkElectronics 859,395
Nervous SystemsHarkin, Professor JUniversity of UlsterSch of Computing & Intelligent Systems 614,711
NetPM: Co-designing Data Management and Networking Principles for Persistent MemoryHonda, Dr MUniversity of EdinburghSch of Informatics 391,902
On the way to the asymptotic limit: mathematics of slow-fast coupling in PDEsWingate, Professor BUniversity of ExeterMathematics 849,609
ParaSol: Fine-Grained Thread-Level Parallelism for Single-Threaded PerformanceJones, Professor TMUniversity of CambridgeComputer Science and Technology 1,091,793
Perfect Recollection for clearer insightMullins, Dr RDUniversity of CambridgeComputer Science and Technology 1,037,935
Reconfigurable Intelligent Surfaces 2.0 for 6G: Beyond Diagonal Phase Shift MatricesClerckx, Professor BImperial College LondonElectrical and Electronic Engineering 891,185
Redonda: A Next-Generation State-Machine Replication Protocol for BlockchainO'Keeffe, Dr DRoyal Holloway, Univ of LondonComputer Science 144,186
REDONDA: A Next-Generation State-Machine Replication Protocol for BlockchainChockler, Professor GUniversity of SurreyComputing Science 140,339
REMOTE: Resilient and Secure Multi-Access Interoperable Communication Fabric for TinyEdgeYadav, Dr PUniversity of YorkComputer Science 444,867
Revolutionising Operational Safety and Economy for High-value Infrastructure using Population-based SHM (ROSEHIPS)Worden, Professor KUniversity of SheffieldMechanical Engineering 6,326,800
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Batty, Professor MUniversity of KentSch of Computing 374,699
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Dongol, Professor BUniversity of SurreyComputing Science 416,971
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Derrick, Professor JUniversity of SheffieldComputer Science 422,585
SECCOM: Securing composable hardware platformsGoodacre, Professor JUniversity of Manchester, TheComputer Science 789,633
SGAI: Brain-Inspired Nanosystems for Smart and Green AIRajendran, Professor BKings College LondonEngineering 1,518,054
SONNETS: Scalability Oriented Novel Network of Event Triggered SystemsThomas, Professor DBUniversity of SouthamptonSch of Electronics and Computer Sci 6,467,613
SysGenX: Composable software generation for system-level simulation at ExascaleBetcke, Professor TUCLMathematics 764,866
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 ExascaleFarrell, Professor PEUniversity of OxfordMathematical Institute 365,774
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
TROCI: Towards Resilient Operation of Critical Infrastructures - application to water and energy systemsAhmed, Dr HUniversity of SheffieldNuclear AMRC 295,163
Turbulence at the exascale: application to wind energy, green aviation, air quality and net-zero combustionLaizet, Professor SImperial College LondonAeronautics 2,670,328
UKRI-RCN: Exploiting the dynamics of self-timed machine learning hardware (ESTEEM)Yakovlev, Professor ANewcastle UniversitySch of Engineering 836,689
Uncertainty Quantification at the Exascale (EXA-UQ)Challenor, Professor PUniversity of ExeterMathematics 1,006,031
Unlocking the Potential of Neural Architecture Search (UPNAS)Crowley, Dr E JUniversity of EdinburghSch of Engineering 273,786
User-controlled hardware security anchors: evaluation and designsRyan, Professor MUniversity of BirminghamSchool of Computer Science 486,082
Verification of Hardware Concurrency via Model Learning (CLeVer)Silva, Professor AUCLComputer Science 692,958

Total Number of Grants: 75
Total Value of Grants: £103,294,339

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