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
ABC: Adaptive Brokerage for the CloudElkhatib, Dr YUniversity of GlasgowSchool of Computing Science 117,047
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
AISEC: AI Secure and Explainable by ConstructionAtkey, Dr RAUniversity of StrathclydeComputer and Information Sciences 348,439
AISEC: AI Secure and Explainable by ConstructionKomendantskaya, Professor EHeriot-Watt UniversityS of Mathematical and Computer Sciences 807,165
AISEC: AI Secure and Explainable by ConstructionAspinall, Professor DUniversity of EdinburghSch of Informatics 670,675
AppControl: Enforcing Application Behaviour through Type-Based ConstraintsVanderbauwhede, Professor WUniversity of GlasgowSchool of Computing Science 1,483,020
Automated Software Specialisation Using Genetic ImprovementPetke, Dr JUCLComputer Science 891,505
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 lifeMalacaria, Professor PQueen Mary University of LondonSch of Electronic Eng & Computer Science 329,505
CHAI: Cyber Hygiene in AI enabled domestic lifeLoukas, Professor GUniversity of GreenwichComputing & Information Systems, FACH 830,140
CHAI: Cyber Hygiene in AI enabled domestic lifeLiu, Professor WUniversity of BristolEngineering Mathematics 393,061
CHAI: Cyber Hygiene in AI enabled domestic lifeRoesch, Dr EUniversity of ReadingSch of Psychology and Clinical Lang Sci 373,005
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
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 EngagementElliott, Professor TUniversity of OxfordNDM - Immuno-Oncology 207,989
CompBioMedEE: Computational Biomedicine Exascale EngagementTownsend-Nicholson, Professor AUCLStructural Molecular Biology 210,361
CompBioMedEE: Computational Biomedicine Exascale EngagementHautbergue, Professor GMPUniversity of SheffieldNeurosciences 98,368
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
Designing Efficient Market Mechanisms with Simplicity Requirementsde Keijzer, Dr BKings College LondonInformatics 221,447
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
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,003,076
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 5,771,944
EPSRC Centre for Doctoral Training in Digital Health and CareCraddock, Professor IJUniversity of BristolElectrical and Electronic Engineering 6,348,689
EPSRC Centre for Doctoral Training in Enhancing Human Interactions and Collaborations with Data and Intelligence Driven SystemsJones, Professor MSwansea UniversityCollege of Science 5,036,593
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 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
Feedback and Optimisation for Well-behaved Anonymous Communication NetworksElahi, Dr MUniversity of EdinburghSch of Informatics 232,700
FlexCap: Exploring Hardware Capabilities in Unikernels and Flexible Isolation OSesOlivier, Dr PUniversity of Manchester, TheComputer Science 264,072
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
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
Learned Exascale Computational Imaging (LEXCI)Pereyra, Dr MHeriot-Watt UniversityS of Mathematical and Computer Sciences 40,274
Learned Exascale Computational Imaging (LEXCI)McEwen, Professor JUCLMullard Space Science Laboratory 972,421
Learning, Approximating and Minimising Streaming Automata for Large-scale OptimisationDaviaud, Dr LCity, University of LondonSch of Engineering and Mathematical Sci 249,527
M4Secure: Making Memory Management More SecureWang, Professor ZUniversity of LeedsSch of Computing 431,748
M4Secure: Making Memory Management More SecureSinger, Dr JUniversity of GlasgowSchool of Computing Science 457,857
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
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
Quantum Enhanced and Verified Exascale Computing - QEVECKendon, Professor VMUniversity of StrathclydePhysics 1,007,642
Realistic fault modelling to enable optimization of low power IoT and Cognitive fault-tolerant computing systemsAsenov, Professor AUniversity of GlasgowSchool of Engineering 446,241
Realistic fault modelling to enable optimization of low power IoT and Cognitive fault-tolerant computing systemsZhang, Professor JFLiverpool John Moores UniversitySchool of Engineering 487,200
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
Robotics & Autonomous Systems: EPSRC UK-RAS NetworkRodriguez y Baena, Professor FMImperial College LondonComputing 871,055
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
Serious Coding: A Game Approach To Security For The New Code-CitizensBaillie, Professor LHeriot-Watt UniversityS of Mathematical and Computer Sciences 998,239
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor NUniversity of OxfordComputer Science 599,888
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr LUniversity of KentSch of Computing 555,120
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
Socio-technical resilience in software development (STRIDE)Levine, Professor MLancaster UniversityPsychology 337,965
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
SPRITE+: The Security, Privacy, Identity, and Trust Engagement NetworkPlusBarrett, Professor EUniversity of Manchester, TheSocial Sciences 1,386,196
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
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
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 Centre for Doctoral Training in Safe and Trusted Artificial IntelligenceBlack, Dr EKings College LondonInformatics 6,898,907
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: 133
Total Value of Grants: £144,908,007

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