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 feature-independent mesh generation and integrated solution frameworkSevilla, Professor RSwansea UniversityCollege of Engineering 427,929
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
ABC: Adaptive Brokerage for the CloudBarker, Professor AUniversity of St AndrewsComputer Science 386,558
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, Dr 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, Dr 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 NewcastleCoventry, Professor LNorthumbria, 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
AISEC: AI Secure and Explainable by ConstructionKomendantskaya, Dr 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
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
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure SystemsBoureanu, Dr ICUniversity of SurreyComputing Science 303,951
CaMELot: Catching and Mitigating Event-Loop Concurrency IssuesMarr, Dr SUniversity of KentSch of Computing 209,756
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, Dr MUniversity of KentSch of Computing 485,168
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
CCP-QC: Collaborative Computational Project - Quantum ComputingKendon, Dr VMDurham, University ofPhysics 163,421
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
CHAI: Cyber Hygiene in AI enabled domestic lifeMalacaria, Professor PQueen Mary University of LondonSch of Electronic Eng & Computer Science 329,505
CHERI for Hypervisors and Operating Systems (CHaOS)Watson, Dr R N MUniversity of CambridgeComputer Science and Technology 875,939
CITCoM: Casual Inference for Testing of Computational ModelsWalkinshaw, Dr NUniversity of SheffieldComputer Science 670,838
Citizen ForensicsBandara, Professor AKOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 1,093,594
Customized and Adaptive approach for Optimal Cybersecurity InvestmentHankin, Professor CImperial College LondonInstitute for Security Science and Tech 386,129
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor AUniversity of OxfordComputer Science 3,551,360
DeepSecurity - Applying Deep Learning to Hardware SecurityO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 765,827
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
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 5,964,769
EPSRC Centre for Doctoral Training in CybersecurityPym, Professor DUCLComputer Science 5,734,203
EPSRC Centre for Doctoral Training in Digital Health and CareCraddock, Professor IJUniversity of BristolElectrical and Electronic Engineering 6,315,146
EPSRC Centre for Doctoral Training in Enhancing Human Interactions and Collaborations with Data and Intelligence Driven SystemsJones, Professor MSwansea UniversityCollege of Science 4,988,654
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,235,172
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Woodward, Dr J RQueen Mary University of LondonSch of Electronic Eng & Computer Science 242,011
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Hall, Professor TLancaster UniversityComputing & Communications 367,238
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Bowes, Dr DHLancaster UniversityComputing & Communications 238,074
Feedback and Optimisation for Well-behaved Anonymous Communication NetworksElahi, Dr MUniversity of EdinburghSch of Informatics 232,700
GALINI: Global ALgorithms for mixed-Integer Nonlinear optimisation of Industrial systemsMisener, Professor RImperial College LondonComputing 984,063
GREET: Generative Recombinant Enzyme Engineering for TherapeuticsStracquadanio, Dr GUniversity of EdinburghSch of Biological Sciences 1,107,274
HAMLET: Hardware Enabled Meta-Tracing (ext.)Tratt, Professor LKings College LondonInformatics 922,997
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
Personalised Simulation Technologies for Optimising Treatment in the Intensive Care Unit: Realising Industrial and Medical ApplicationsBates, Professor DUniversity of WarwickSch of Engineering 881,946
POST: Protocols, Observabilities and Session TypesYoshida, Professor NImperial College LondonComputing 1,462,802
Procedural Geometry for HumansKelly, Dr TUniversity of LeedsSch of Computing 382,018
Quantum Enhanced and Verified Exascale Computing - QEVECKendon, Dr VMDurham, University ofPhysics 1,015,931
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
RE-PRESENT: Automatic Repair of Presentation Failures in Web ApplicationsMcMinn, Professor PSUniversity of SheffieldComputer Science 27,774
Reproducible analysis frameworks in Lattice Field Theory and STFC-enabled computational research in WalesBennett, Dr ESwansea UniversityCollege of Science 613,610
Research Institute in Verified Trustworthy Software Systems (VeTSS)Gardner, Professor PImperial College LondonComputing 654,850
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
SAUSE: Secure, Adaptive, Usable Software EngineeringNuseibeh, Professor BOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 1,330,879
Science of Sensor System SoftwareCalder, Professor MUniversity of GlasgowSchool of Computing Science 4,183,694
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
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 NImperial College LondonComputing 697,651
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
Socio-technical resilience in software development (STRIDE)Levine, Professor MLancaster UniversityPsychology 337,965
Socio-technical resilience in software development (STRIDE)Sharp, Professor HOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 610,573
Socio-technical resilience in software development (STRIDE)Jay, Professor CEUniversity of Manchester, TheComputer Science 50,156
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 (SEAVIEW)Coveney, Professor PUCLChemistry 728,470
SPRITE+: The Security, Privacy, Identity, and Trust Engagement NetworkPlusBarrett, Professor EUniversity of Manchester, TheSocial Sciences 1,386,196
Strategy Logics for the Verification of Security ProtocolsBelardinelli, Dr FImperial College LondonComputing 8,996
String Constraint Solving with Real-World Regular ExpressionsHague, Dr MRoyal Holloway, Univ of LondonComputer Science 393,618
Studies in Computing to enable research and teaching on Electronic Literature and Digital CultureFülöp, Dr ELancaster UniversityLanguages and Cultures 119,839
The UK Software Sustainability Institute: Phase 3Chue Hong, Mr NPUniversity of EdinburghEdinburgh Parallel Computing Centre 6,749,368
Towards Performance Portability in HPC applications for GPUs: An Autonomous ApproachReano, Dr CQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 177,818
TRANSIT: Towards a Robust Airport Decision Support System for Intelligent TaxiingWoodward, Dr J RQueen Mary University of LondonSch of Electronic Eng & Computer Science 175,626
TRANSIT: Towards a Robust Airport Decision Support System for Intelligent TaxiingChen, Dr JQueen Mary University of LondonSchool of Engineering & Materials Scienc 201,364
TRANSIT: Towards a Robust Airport Decision Support System for Intelligent TaxiingMahfouf, Professor MUniversity of SheffieldAutomatic Control and Systems Eng 234,537
Twenty20InsightBencomo, Dr NDurham, University ofComputer Science 390,864
Twenty20InsightHe, Professor YUniversity of WarwickComputer Science 305,864
UKRI Centre for Doctoral Training in Safe and Trusted Artificial IntelligenceLuck, Professor MKings College LondonInformatics 6,865,984
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 MUniversity of LeicesterComputer Science 2,923,653
UKRI Trustworthy Autonomous Systems Node in VerifiabilityMousavi, Professor MUniversity of LeicesterComputer Science 2,923,653
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
Verifying Resource-like Data Use in Programs via TypesOrchard, Dr DAUniversity of KentSch of Computing 229,328
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonComputing 1,579,794
Why Johnny doesn't write secure software? Secure software development by the massesRashid, Professor AUniversity of BristolComputer Science 853,634

Total Number of Grants: 119
Total Value of Grants: £134,970,310

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