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 - Imperial College LondonLupu, Professor ECImperial College LondonInstitute for Security Science and Tech 81,930
Academic Centre of Excellence in Cyber Security Research - Lancaster UniversityRace, Professor NLancaster UniversityComputing & Communications 81,803
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 Northumbria at NewcastleBriggs, Professor PNorthumbria, University ofFac of Health and Life Sciences 48,574
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
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
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 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, Professor 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 H&ES: Intel Xeon GPU Max Pre-Exascale TestbedShellard, Professor EPSUniversity of CambridgeApplied Maths and Theoretical Physics 287,300
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 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
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
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
Generalised Context PrivacyBradbury, Dr M SLancaster UniversityComputing & Communications 387,468
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
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)Derrick, Professor JUniversity of SheffieldComputer Science 422,585
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)Dongol, Professor BUniversity of SurreyComputing Science 416,971
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, 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
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
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: 93
Total Value of Grants: £99,224,782

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