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 (£)
Academic Centre of Excellence in Cyber Security Research - University of Northumbria at NewcastleBriggs, Professor PNorthumbria, University ofFac of Health and Life Sciences 48,574
AppControl: Enforcing Application Behaviour through Type-Based ConstraintsVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,483,020
Autonomous NAnotech GRAph Memory (ANAGRAM)Serb, Dr AUniversity of EdinburghSch of Engineering 269,789
Big Hypotheses: A Fully Parallelised Bayesian Inference SolutionMaskell, Professor SUniversity of LiverpoolElectrical Engineering and Electronics 2,557,654
C6: Correct-by-Construction Heterogeneous CoherenceBarbalace, Dr AUniversity of EdinburghSch of Informatics 494,698
Capable VMsSinger, Dr JUniversity of GlasgowSchool of Computing Science 469,283
CapableVMsTratt, Professor LKings College LondonInformatics 837,189
CapC: Capability C semantics, tools and reasoningBatty, Professor MUniversity of KentSch of Computing 485,168
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 ExascaleCoveney, Professor PUCLChemistry 406,428
CompBioMedX: Computational Biomedicine at the ExascaleMarzo, Dr AUniversity of SheffieldMechanical Engineering 177,602
Computational Biomedicine at the ExascaleRodriguez, Professor BUniversity of OxfordComputer Science 174,168
DART: Design Accelerators by Regulating TransformationsLuk, Professor WImperial College LondonComputing 613,910
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
EDGE - Adaptive Deep Learning Hardware for Embedded PlatformsZhai, Dr XUniversity of EssexComputer Sci and Electronic Engineering 232,166
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 PETSc on the Cerebras Wafer Scale EngineWeiland, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 65,575
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
Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded SystemsBrown, Dr CMUniversity of St AndrewsComputer Science 382,865
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
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 291,387
ExCALIBUR HES RISC-V phase 2 projectBrown, Dr NUniversity of EdinburghEdinburgh Parallel Computing Centre 225,618
ExCALIBUR HES: Exascale Data Testbed for Simulation, Data Analysis & VisualisationAbraham, Dr NLUniversity of CambridgeChemistry 660,087
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
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
Integrated Simulation at the Exascale: coupling, synthesis and performanceBetcke, Professor TUCLMathematics 304,731
Keep LearningHart, Professor EEdinburgh Napier UniversitySchool of Computing 388,219
Keep LearningMiguel, Professor IJUniversity of St AndrewsComputer Science 378,027
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 HardwareStepney, Professor SUniversity 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 SystemsHarkin, Professor JUniversity of UlsterSch of Computing & Intelligent Systems 614,711
Nervous SystemsTrefzer, Dr M AUniversity of YorkElectronics 859,395
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 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
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
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 ExascaleHam, Dr DAImperial College LondonMathematics 813,413
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
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
UniFaaS: A Unikernel-Based Serverless Operating SystemOlivier, Dr PUniversity of Manchester, TheComputer Science 267,264
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: 83
Total Value of Grants: £105,275,164

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