EPSRC logo
EPSRC Support by Research Topic in Software Engineering

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 (£)
A Framework for Risk-Informed Metrics-Enriched Cybersecurity Playbooks for CNI ResilienceCherdantseva, Dr YCardiff UniversityComputer Science 503,174
A Human-Trustable Self-Improving Machine Learning Framework for Rapid Disaster Responses Using Satellite Sensor ImageryGU, Dr XUniversity of SurreyComputing Science 267,600
Academic Centre of Excellence in Cyber Security Research - University of Northumbria at NewcastleBriggs, Professor PNorthumbria, University ofFac of Health and Life Sciences 48,574
AISEC: AI Secure and Explainable by ConstructionAspinall, Professor DUniversity of EdinburghSch of Informatics 670,675
AISEC: AI Secure and Explainable by ConstructionKomendantskaya, Professor EHeriot-Watt UniversityS of Mathematical and Computer Sciences 807,165
AISEC: AI Secure and Explainable by ConstructionAtkey, Dr RAUniversity of StrathclydeComputer and Information Sciences 348,439
AppControl: Enforcing Application Behaviour through Type-Based ConstraintsVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,483,020
Bio-image processing at exascaleMuresan, Dr LUniversity of CambridgePhysiology Development and Neuroscience 447,849
CaMELot: Catching and Mitigating Event-Loop Concurrency IssuesMarr, Dr SUniversity of KentSch of Computing 209,756
CANDISE: Change-Oriented Assessments for Net-Zero Digital ServicesSchien, Dr DUniversity of BristolComputer Science 480,750
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
CAP-TEE: Capability Architectures for Trusted ExecutionOswald, Dr D FUniversity of BirminghamSchool of Computer Science 1,000,206
CCP-QC: Collaborative Computational Project - Quantum ComputingKendon, Professor VMUniversity of StrathclydePhysics 140,063
CHAI: Cyber Hygiene in AI enabled domestic lifeLoukas, Professor GUniversity of GreenwichComputing & Information Systems, FACH 830,140
CHAI: Cyber Hygiene in AI enabled domestic lifeRoesch, Dr EUniversity of ReadingSch of Psychology and Clinical Lang Sci 373,005
CHAI: Cyber Hygiene in AI enabled domestic lifeLiu, Professor WUniversity of BristolEngineering Mathematics and Technology 393,061
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
CITCoM: Casual Inference for Testing of Computational ModelsWalkinshaw, Dr NUniversity of SheffieldComputer Science 670,838
Cloud Attestables on Morello Boards (CAMB)Crowcroft, Professor JUniversity of CambridgeComputer Science and Technology 420,654
CompBioMedEE: Computational Biomedicine Exascale EngagementTownsend-Nicholson, Professor AUCLStructural Molecular Biology 210,361
CompBioMedEE: Computational Biomedicine Exascale EngagementElliott, Professor TUniversity of OxfordNDM - Immuno-Oncology 207,989
CompBioMedEE: Computational Biomedicine Exascale EngagementHautbergue, Professor GMPUniversity of SheffieldNeurosciences 98,368
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
Designing Efficient Market Mechanisms with Simplicity Requirementsde Keijzer, Dr BKings College LondonInformatics 221,447
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
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
EnnCore: End-to-End Conceptual Guarding of Neural ArchitecturesCordeiro, Dr LCUniversity of Manchester, TheComputer Science 1,721,560
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 Digital Health and CareCraddock, Professor IJUniversity of BristolElectrical and Electronic Engineering 6,626,553
EPSRC Centre for Doctoral Training in Enhancing Human Interactions and Collaborations with Data and Intelligence Driven SystemsJones, Professor MSwansea UniversityCollege of Science 5,279,589
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,522,797
Establishing the Accessible Computational Regimes for Biomolecular Simulations at ExascaleHarris, Dr SUniversity of LeedsPhysics and Astronomy 471,209
Exascale Agent-based Modelling for PoLicy Evaluation in Real-time (ExAMPLER)Polhill, Dr GThe James Hutton InstituteInformation & Computational Sciences 412,695
ExaTEPP: Theoretical and Experimental Particle Physics at the Exascale FrontierCostanzo, Professor DUniversity of SheffieldPhysics and Astronomy 161,027
ExaTEPP: Theoretical and Experimental Particle Physics at the Exascale FrontierAlexandrov, Professor VSTFC Laboratories (Grouped)The Hartree Centre 163,319
ExaTEPP: Theoretical and Experimental Particle Physics at the Exascale FrontierMorgan, Dr BUniversity of WarwickPhysics 86,531
ExaTEPP: Theoretical and Experimental Particle Physics at the Exascale FrontierDel Debbio, Professor LUniversity of EdinburghSch of Physics and Astronomy 138,914
Exploiting sparsity in large-scale optimizationScott, Professor JASTFC Laboratories (Grouped)Scientific Computing Department 76,281
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
Goldilocks convergence tools and best practices for numerical approximations in Density Functional Theory calculationsMontanari, Dr BSTFC Laboratories (Grouped)Scientific Computing Department 378,233
GREET: Generative Recombinant Enzyme Engineering for TherapeuticsStracquadanio, Dr GUniversity of EdinburghSch of Biological Sciences 1,107,274
HECBioSim: The UK High End Computing Consortium for Biomolecular Simulation.Khalid, Professor SUniversity of OxfordBiochemistry 518,497
High End Computing Consortium for Wave Structure Interaction HEC WSIGreaves, Professor DUniversity of PlymouthSch of Eng, Comp and Math (SECaM) 355,960
Holistic Design of Secure Systems on Capability Hardware (HD-Sec)Butler, Professor MUniversity of SouthamptonSch of Electronics and Computer Sci 1,030,183
Immersion cooling and heat storageBasden, Dr AGDurham, University ofPhysics 1,276,418
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
Keep LearningMiguel, Professor IJUniversity of St AndrewsComputer Science 378,027
Keep LearningHart, Professor EEdinburgh Napier UniversitySchool of Computing 388,219
Large Graph Limits of Stochastic Processes on Random GraphsKhuda Bukhsh, Dr WUniversity of NottinghamSch of Mathematical Sciences 79,988
Learned Exascale Computational Imaging (LEXCI)McEwen, Professor JUCLMullard Space Science Laboratory 972,421
Learned Exascale Computational Imaging (LEXCI)Pereyra, Dr MHeriot-Watt UniversityS of Mathematical and Computer Sciences 40,274
Learning, Approximating and Minimising Streaming Automata for Large-scale OptimisationDaviaud, Dr LUniversity of East AngliaComputing Sciences 31,889
M4Secure: Making Memory Management More SecureSinger, Dr JUniversity of GlasgowSchool of Computing Science 457,857
M4Secure: Making Memory Management More SecureWang, Professor ZUniversity of LeedsSch of Computing 431,748
Making Software FAIR: A machine-assisted workflow for the research software lifecycleKnoth, Professor PThe Open UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 123,187
Malleability in resource allocation for improved system efficiency in high-performance computingParsons, Professor MUniversity of EdinburghEdinburgh Parallel Computing Centre 163,412
Materials Chemistry HEC Consortium (MCC)Woodley, Professor SMUCLChemistry 687,209
Morello-HAT: Morello High-Level API and ToolingVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,128,654
MUSE: Multi-Modal Software EvolutionDash, Dr SKRoyal Holloway, Univ of LondonInformation Security 421,797
New Techniques for Resolving Boundary Problems in Total SearchFearnley, Dr JUniversity of LiverpoolComputer Science 441,269
On-Sensor Computer VisionKelly, Professor PImperial College LondonComputing 1,404,122
On-Sensor Computer VisionMayol-Cuevas, Professor WWUniversity of BristolComputer Science 620,993
On-Sensor Computer VisionDudek, Professor PUniversity of Manchester, TheElectrical and Electronic Engineering 1,327,360
Particles At eXascale on High Performance Computers (PAX-HPC)Woodley, Professor SMUCLChemistry 3,041,191
Plasma Physics HEC ConsortiaDickinson, Dr DUniversity of YorkPhysics 284,555
POST: Protocols, Observabilities and Session TypesYoshida, Professor NUniversity of OxfordComputer Science 1,243,069
Post-Quantum Blockchains Based on FALCON++Ling, Dr CImperial College LondonElectrical and Electronic Engineering 897,476
Provenance Analytics Model for Research Software (PARS)Packer, Dr H SUniversity of SouthamptonSch of Electronics and Computer Sci 263,584
Quantum Enhanced and Verified Exascale Computing - QEVECKendon, Professor VMUniversity of StrathclydePhysics 1,007,642
REPHRAIN: National Research centre on Privacy, Harm Reduction and Adversarial Influence online (Phase II)Rashid, Professor AUniversity of BristolComputer Science 756,638
REPHRAIN: Research centre on Privacy, Harm Reduction and Adversarial Influence onlineRashid, Professor AUniversity of BristolComputer Science 6,972,599
Reproducible analysis frameworks in Lattice Field Theory and STFC-enabled computational research in WalesBennett, Dr ESwansea UniversityCollege of Science 613,610
RoboTest: : Systematic Model-Based Testing and Simulation of Mobile Autonomous RobotsCavalcanti, Professor ALCUniversity of YorkComputer Science 1,166,973
RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous RobotsHierons, Professor RUniversity of SheffieldComputer Science 575,877
RSE training in algorithms for exascale simulationsShipton, Dr JUniversity of ExeterMathematics 35,066
SAUSE: Secure, Adaptive, Usable Software EngineeringNuseibeh, Professor BThe Open UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 1,330,879
SCorCH : Secure Code for Capability HardwareMelham, Professor TUniversity of OxfordComputer Science 312,916
SCorCH: Secure Code for Capability HardwareReger, Dr GUniversity of Manchester, TheComputer Science 1,034,990
Secure Smart Contracts with Isabelle/SolidityMarmsoler, Dr DUniversity of ExeterComputer Science 247,844
Securing Convergent Ultra-large Scale InfrastructuresRashid, Professor AUniversity of BristolComputer Science 6,780,954
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr LUniversity of KentSch of Computing 555,120
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor NUniversity of OxfordComputer Science 599,888
Session Types for Reliable Distributed Systems (STARDUST)Gay, Professor SJUniversity of GlasgowSchool of Computing Science 563,806
Smart Products Made SmarterMcLaughlin, Professor SHeriot-Watt UniversitySch of Engineering and Physical Science 2,670,178
Socio-technical resilience in software development (STRIDE)Sharp, Professor HThe Open UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 610,573
Software Environment for Actionable & VVUQ-evaluated Exascale Applications (SEAVEA)Groen, Dr DBrunel University LondonComputer Science 287,922
Software Environment for Actionable & VVUQ-evaluated Exascale Applications (SEAVEA)Coveney, Professor PUCLChemistry 728,470
Supporting the OpenMM Community-led Development of Next-Generation Condensed Matter Modelling SoftwareMichel, Dr JUniversity of EdinburghSch of Chemistry 464,871
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
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
Test FLARE (Test Flakiness Automated Reproduction and Explanation)McMinn, Professor PSUniversity of SheffieldComputer Science 544,227
The UK Car-Parrinello HEC ConsortiumHasnip, Dr PJUniversity of YorkPhysics 563,229
The UK Software Sustainability Institute: Phase 3Chue Hong, Professor NPUniversity of EdinburghEdinburgh Parallel Computing Centre 6,837,358
The UK Turbulence ConsortiumLaizet, Professor SImperial College LondonAeronautics 507,079
Theoretical and Experimental Particle Physics at the Exascale FrontierLucini, Professor BSwansea UniversityCollege of Science 148,416
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
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentSchewe, Professor SUniversity of LiverpoolComputer Science 426,375
TRUSTED: SecuriTy SummaRies for SecUre SofTwarE DevelopmentKhakpour, Dr NNNewcastle UniversitySch of Computing 492,653
TrustVote: Dispute-resolution mechanisms and systems for Private and Verifiable VotingDragan, Dr CCUniversity of SurreyComputing Science 375,666
Turbulence at the exascale: application to wind energy, green aviation, air quality and net-zero combustionLaizet, Professor SImperial College LondonAeronautics 2,670,328
Twenty20InsightBencomo, Dr NDurham, University ofComputer Science 390,864
Two-way automata: limitations and frontiersChistikov, Dr DUniversity of WarwickComputer Science 280,432
UK Consortium on Mesoscale Engineering Sciences (UKCOMES)Luo, Professor KHUCLMechanical Engineering 338,587
UK High-End Computing Consortium for X-ray Spectroscopy (HPC-CONEXS)Penfold, Professor TJNewcastle UniversitySch of Natural & Environmental Sciences 371,871
UK-Australia Centre in a Secure Internet of Energy: Supporting Electric Vehicle Infrastructure at the "Edge" of the GridRanjan, Professor RNewcastle UniversitySch of Computing 1,511,081
UKRI AI Centre for Doctoral Training in Dependable and Deployable Artificial Intelligence for Robotics (CDT-D2AIR)Petrick, Professor RHeriot-Watt UniversityS of Mathematical and Computer Sciences 9,534,199
UKRI Centre for Doctoral Training in Safe and Trusted Artificial IntelligenceBlack, Dr EKings College LondonInformatics 7,135,274
UKRI Trustworthy Autonomous Systems Node in FunctionalityWindsor, Dr SUniversity of BristolAerospace Engineering 3,315,004
UKRI Trustworthy Autonomous Systems Node in SecuritySuri, Professor NLancaster UniversityComputing & Communications 3,011,796
UKRI Trustworthy Autonomous Systems Node in VerifiabilityMousavi, Professor MKings College LondonInformatics 2,621,150
UKRI Trustworthy Autonomous Systems Node in VerifiabilityMousavi, Professor MKings College LondonInformatics 2,621,150
Uncertainty Quantification at the Exascale (EXA-UQ)Challenor, Professor PUniversity of ExeterMathematics 1,006,031
Understanding and Nurturing an Integrated Vision for Education in RSE and HPC (UNIVERSE-HPC)Chue Hong, Professor NPUniversity of EdinburghEdinburgh Parallel Computing Centre 506,812
UniFaaS: A Unikernel-Based Serverless Operating SystemOlivier, Dr PUniversity of Manchester, TheComputer Science 267,264
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794
XAdv: Robust Explanations for Malware DetectionPierazzi, Dr FKings College LondonInformatics 315,128

Total Number of Grants: 131
Total Value of Grants: £163,289,055

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