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 - [Royal Holloway University of London]Markantonakis, Professor KRoyal Holloway, Univ of LondonInformation Security 78,117
Academic Centre of Excellence in Cyber Security Research - Cardiff UniversityBurnap, Professor PCardiff UniversityComputer Science 64,898
Academic Centre of Excellence in Cyber Security Research - De Montfort UniversityBoiten, Professor EADe Montfort UniversityComputer Technology 48,741
Academic Centre of Excellence in Cyber Security Research - Imperial College LondonLupu, Professor ECImperial College LondonInstitute for Security Science and Tech 81,930
Academic Centre of Excellence in Cyber Security Research - King's College LondonSuch, Professor JMKings College LondonInformatics 63,961
Academic Centre of Excellence in Cyber Security Research - Lancaster UniversityRace, Professor NLancaster UniversityComputing & Communications 81,803
Academic Centre of Excellence in Cyber Security Research - Newcastle UniversityGross, Dr TRNewcastle UniversitySch of Computing 81,936
Academic Centre of Excellence in Cyber Security Research - Queen's University BelfastO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 81,965
Academic Centre of Excellence in Cyber Security Research - University College LondonDe Cristofaro, Professor EUCLComputer Science 81,904
Academic Centre of Excellence in Cyber Security Research - University of BirminghamRyan, Professor MUniversity of BirminghamSchool of Computer Science 81,162
Academic Centre of Excellence in Cyber Security Research - University of BristolPage, Dr DUniversity of BristolComputer Science 36,205
Academic Centre of Excellence in Cyber Security Research - University of CambridgeStajano, Dr FUniversity of CambridgeComputer Science and Technology 81,719
Academic Centre of Excellence in Cyber Security Research - University of EdinburghAspinall, Professor DUniversity of EdinburghSch of Informatics 81,715
Academic Centre of Excellence in Cyber Security Research - University of KentLi, Professor SUniversity of KentSch of Computing 64,602
Academic Centre of Excellence in Cyber Security Research - University of Northumbria at NewcastleBriggs, Professor PNorthumbria, University ofFac of Health and Life Sciences 48,574
Academic Centre of Excellence in Cyber Security Research - University of OxfordMartin, Professor AUniversity of OxfordComputer Science 81,931
Academic Centre of Excellence in Cyber Security Research - University of SouthamptonSassone, Professor VUniversity of SouthamptonSch of Electronics and Computer Sci 81,867
Academic Centre of Excellence in Cyber Security Research - University of SurreySchneider, Professor SAUniversity of SurreyComputing Science 81,966
Academic Centre of Excellence in Cyber Security Research - University of WarwickMaple, Professor CUniversity of WarwickWMG 81,965
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
Border Patrol: Improving Smart Device Security through Type-Aware Systems DesignVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,765,760
C6: Correct-by-Construction Heterogeneous CoherenceNagarajan, Dr VUniversity of EdinburghSch of Informatics 494,698
Capabilities for CodersSinger, Dr JUniversity of GlasgowSchool of Computing Science 102,787
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,199,866
CAPS: Collaborative Architectures for Proof SearchReger, Dr GUniversity of Manchester, TheComputer Science 251,632
CAP-TEE: Capability Architectures for Trusted ExecutionOswald, Dr D FUniversity of BirminghamSchool of Computer Science 1,000,206
CHERI for Hypervisors and Operating Systems (CHaOS)Watson, Dr R N MUniversity of CambridgeComputer Science and Technology 875,939
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
CloudCAP: Capability-based Isolation for Cloud Native ApplicationsPietzuch, Professor PRImperial College LondonComputing 879,242
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
DART: Design Accelerators by Regulating TransformationsLuk, Professor WImperial College LondonComputing 613,910
Dijkstra's Pipe: Timing-Secure Processors by DesignNagarajan, Dr VUniversity 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
Efficient Cross-Domain DSL Development for ExascaleGrosser, Dr TCUniversity of EdinburghSch of Informatics 577,148
Efficient Cross-Domain DSL Development for ExascaleGorman, Dr GImperial College LondonEarth Science and Engineering 430,061
Enabling PETSc on the Cerebras Wafer Scale EngineWeiland, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 61,488
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,003,076
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 5,771,944
EPSRC Centre for Doctoral Training in High Performance Embedded and Distributed SystemsLuk, Professor WImperial College LondonComputing 4,099,016
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,937,632
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,276,736
Establishing Electrically Programmable Reaction Arrays as Universal Chemical ComputersCronin, Professor LUniversity of GlasgowSchool of Chemistry 733,213
ExCALIBUR HES Benchmarking for Performance Portable ApplicationsKoskela, Dr TUCLCentre for Advanced Research Computing 206,588
ExCALIBUR HES CXL technology demonstrator: composable memoryBasden, Dr AGDurham, University ofPhysics 201,212
ExCALIBUR HES DWAVE Quantum Annealing CreditsBasden, Dr AGDurham, University ofPhysics 27,624
ExCALIBUR HES Exploring Coarse Grained Reconfigurable Architectures (CGRAs)Brown, Dr NUniversity of EdinburghEdinburgh Parallel Computing Centre 63,712
ExCALIBUR HES RISC-V phase 2 projectBrown, Dr NUniversity of EdinburghEdinburgh Parallel Computing Centre 71,531
ExCALIBUR HES: Exascale Data Testbed for Simulation, Data Analysis & VisualisationAbraham, Dr NLUniversity of CambridgeChemistry 166,000
FlexCap: Exploring Hardware Capabilities in Unikernels and Flexible Isolation OSesOlivier, Dr PUniversity of Manchester, TheComputer Science 264,072
FNR - Attenuating the Environmental Impact of our Buildings through Semantic-based Dynamic Life cycle Assessment (SemanticLCA)Rezgui, Professor YCardiff UniversitySch of Engineering 638,567
Future Memcomputing Arrays for Next Generation Computer VisionKemp, Dr NTUniversity of NottinghamSch of Physics & Astronomy 368,171
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 performanceBetcke, Professor TUCLMathematics 304,731
Integrated Simulation at the Exascale: coupling, synthesis and performanceWells, Professor GNUniversity of CambridgeEngineering 630,806
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
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
Prosperity Partnership Call 2 Strategic Students-Rolls Royce and University of EdinburghParsons, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 170,783
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, Dr BUniversity of SurreyComputing Science 416,971
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Derrick, Professor JUniversity of SheffieldComputer Science 422,585
SCARV: a side-channel hardened RISC-V platformPage, Dr DUniversity of BristolComputer Science 1,024,324
SECCOM: Securing composable hardware platformsGoodacre, Professor JUniversity of Manchester, TheComputer Science 789,633
SGAI: Brain-Inspired Nanosystems for Smart and Green AIRajendran, Dr BKings College LondonEngineering 1,518,054
Spin waves to the rescue. Development of a spintronic reservoir computing platform (GRA0326)van der Laan, Professor GDiamond Light SourceCEO's Office 66,859
Spin waves to the rescue: Development of a spintronic reservoir computing platformHesjedal, Professor TUniversity of OxfordOxford Physics 451,563
Strategic Partnership in Computational Science for Advanced Simulation and Modelling of Engineering Systems - ASiMoVParsons, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 6,327,661
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
Turbulence at the exascale: application to wind energy, green aviation, air quality and net-zero combustionLaizet, Professor SImperial College LondonAeronautics 2,670,328
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
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: 100
Total Value of Grants: £93,185,021

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