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 Calculus for Software Engineering of Mobile and Autonomous RobotsCavalcanti, Professor ALCUniversity of YorkComputer Science 1,766,824
A Population Approach to Ubicomp System DesignChalmers, Professor MUniversity of GlasgowSchool of Computing Science 3,253,414
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, Dr ECImperial College LondonInstitute for Security Science and Tech 81,930
Academic Centre of Excellence in Cyber Security Research - Lancaster UniversityRashid, Professor ALancaster UniversityComputing & Communications 81,803
Academic Centre of Excellence in Cyber Security Research - Newcastle UniversityGross, Dr TRNewcastle UniversityComputing Sciences 81,936
Academic Centre of Excellence in Cyber Security Research - Queen's University BelfastMcCanny, Professor JVQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 81,965
Academic Centre of Excellence in Cyber Security Research - University College LondonGroth, Professor JUCLComputer 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 BristolSmart, Professor NUniversity of BristolComputer Science 36,205
Academic Centre of Excellence in Cyber Security Research - University of CambridgeStajano, Dr FUniversity of CambridgeComputer Laboratory 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 OxfordMartin, Professor AUniversity of OxfordComputer Science 81,931
Academic Centre of Excellence in Cyber Security Research - University of SouthamptonSassone, Professor VUniversity of SouthamptonElectronics and Computer Science 81,867
Academic Centre of Excellence in Cyber Security Research - University of SurreySchneider, Professor SAUniversity of SurreyComputing Science 20,185
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
AnyScale ApplicationsSinger, Dr JUniversity of GlasgowSchool of Computing Science 1,166,422
ASPIRE: Automated Sensing & Predictive Inference for Respiratory ExacerbationClifton, Professor DAUniversity of OxfordEngineering Science 1,475,512
ASSESSING THE QUALITY OF TEST SUITES IN INDUSTRIAL CODE ("AQUATIC")Counsell, Dr SJBrunel University LondonComputer Science 332,691
Automated Conflict Resolution in Clinical PathwaysLee, Dr MUniversity of BirminghamSchool of Computer Science 573,842
Automated Conflict Resolution in Clinical PathwaysBowles, Dr JUniversity of St AndrewsComputer Science 326,403
Automated Software Specialisation Using Genetic ImprovementPetke, Dr JUCLComputer Science 891,505
Automating optimisation subject to partial differential equations on high-performance computers.Farrell, Dr PEUniversity of OxfordMathematical Institute 487,241
Building Capability and Support in Research SoftwareCroucher, Dr MUniversity of SheffieldComputer Science 507,675
CamFort: Automated evolution and verification of computational science modelsRice, Dr ACUniversity of CambridgeComputer Laboratory 542,082
CCP Flagship: Quasiparticle Self-Consistent GW for Next-Generation Electronic Structurevan Schilfgaarde, Professor MKings College LondonPhysics 715,138
CCP Flagship: Quasiparticle Self-Consistent GW for Next-Generation Electronic Structurevan Schilfgaarde, Professor MKings College LondonPhysics 715,138
CCP5 Flagship DL_MONTE: Monte Carlo Simulation of Condensed PhasesWilding, Professor NUniversity of BathPhysics 725,606
CCP5 Flagship DL_MONTE: Monte Carlo Simulation of Condensed PhasesWilding, Professor NUniversity of BathPhysics 725,606
CCP5 Flagship DL_MONTE: Monte Carlo Simulation of Condensed PhasesWilding, Professor NUniversity of BathPhysics 725,606
Centre for Doctoral Training in Cyber Security at Royal HollowayCid, Professor CRoyal Holloway, Univ of LondonInformation Security 3,793,546
Compositional Security Analysis for BinariesKing, Professor AUniversity of KentSch of Computing 228,823
CP2KSlater, Dr BUCLChemistry 28,017
CP2K-UKBethune, Mr IUniversity of EdinburghEdinburgh Parallel Computing Centre 253,082
CP2K-UKKantorovich, Professor LKings College LondonPhysics 253,403
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor AUniversity of OxfordComputer Science 3,489,111
DAASE: Dynamic Adaptive Automated Software EngineeringHarman, Professor MUCLComputer Science 6,834,903
Data Release - Trust, Identity, Privacy and SecurityJones, Professor MWSwansea UniversityCollege of Science 993,796
Data Release - Trust, Identity, Privacy and SecurityWang, Dr VUniversity of PortsmouthInstitute of Criminal Justice Studies 299,355
Decentralised, Large-scale Resource Management in Modern Data CentresKalyvianaki, Dr ECity, University of LondonComputing 100,712
Deep Online Cognition in Modular SoftwarePorter, Dr BLancaster UniversityComputing & Communications 98,562
DeepSecurity - Applying Deep Learning to Hardware SecurityO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 765,827
Development & Clinical Translation of Scalable HPC Ultrasound ModelsTreeby, Dr B EUCLMedical Physics and Biomedical Eng 352,913
Development & Clinical Translation of Scalable HPC Ultrasound ModelsTreeby, Dr B EUCLMedical Physics and Biomedical Eng 352,913
Discovery: Pattern Discovery and Program Shaping for Heterogeneous Manycore SystemsCole, Dr MUniversity of EdinburghSch of Informatics 338,165
Discovery: Pattern Discovery and Program Shaping for Manycore SystemsHammond, Professor KUniversity of St AndrewsComputer Science 366,059
Diversity and Defence in Depth for Security - A Probabilistic Approach (D3S)Gashi, Dr ICity, University of LondonCentre for Software Reliability 563,089
Doctoral Training Centre in Financial ComputingTreleaven, Professor PUCLComputer Science 7,516,737
EPSRC Centre for Doctoral Training in High Performance Embedded and Distributed SystemsLuk, Professor WImperial College LondonDept of Computing 4,081,694
EPSRC Centre for Doctoral Training in Pervasive ParallelismO'Boyle, Professor MUniversity of EdinburghSch of Informatics 3,892,290
FAULT ANALYSES IN INDUSTRY AND ACADEMIC RESEARCHCounsell, Dr SJBrunel University LondonComputer Science 103,515
From Data Types to Session Types---A Basis for Concurrency and DistributionWadler, Professor PUniversity of EdinburghSch of Informatics 3,956,088
Funding for CCPForge and software engineering support for research computingJones, Mrs CSTFC Laboratories (Grouped)Scientific Computing Department 861,333
GALINI: Global ALgorithms for mixed-Integer Nonlinear optimisation of Industrial systemsMisener, Dr RImperial College LondonDept of Computing 984,063
GGGP: Grow and Graft Genetic ProgrammingClark, Dr DJUCLComputer Science 581,560
GReaTest: Growing Readable Software TestsFraser, Dr GUniversity of SheffieldComputer Science 516,859
Household-Supplier Energy MarketChitchyan, Dr RUniversity of LeicesterComputer Science 459,141
Improving Symbolic Execution via Targeted Program TransformationsCadar, Dr CImperial College LondonDept of Computing 286,470
InfoTestSS: Information theory and Test Suite SelectionClark, Dr DJUCLComputer Science 448,002
InfoTestSS: Information theory and Test Suite SelectionHierons, Professor RBrunel University LondonComputer Science 440,393
LECTURE: LanguagE ComposiTion UnifiEdTratt, Dr LKings College LondonInformatics 953,405
LUCID: Clearer Software by Integrating Natural Language Analysis into Software EngineeringBarr, Dr EUCLComputer Science 337,411
LUCID: Clearer Software by Integrating Natural Language Analysis into Software EngineeringSutton, Dr CUniversity of EdinburghSch of Informatics 306,726
Manchester Centre for Doctoral Training in Computer ScienceFurber, Professor S BUniversity of Manchester, TheComputer Science 2,206,082
Manycore Research Innovation and Opportunities Network (MaRIONet)Singer, Dr JUniversity of GlasgowSchool of Computing Science 91,619
Mixed Criticality Cyber Physical SystemsBurns, Professor AUniversity of YorkComputer Science 990,455
Models in the Cloud: Generative Software Frameworks to Support the Execution of Environmental Models in the CloudBlair, Professor GLancaster UniversityComputing & Communications 849,785
Multi-version Execution Techniques for Increasing the Reliability and Security of Evolving SoftwareCadar, Dr CImperial College LondonDept of Computing 978,494
Network on the Verification and Validation of Autonomous SystemsFisher, Professor MUniversity of LiverpoolComputer Science 107,725
Oxford University Centre for Doctoral Training in Cyber SecurityMartin, Professor AUniversity of OxfordComputer Science 3,662,582
Personalised Simulation Technologies for Optimising Treatment in the Intensive Care Unit: Realising Industrial and Medical ApplicationsBates, Professor DUniversity of WarwickSch of Engineering 881,946
Research Institute in Verified Trustworthy Software Systems (VeTSS)Gardner, Professor PImperial College LondonDept of Computing 654,850
Research Software Engineer NetworkHettrick, Dr SJUniversity of SouthamptonElectronics and Computer Science 80,263
Science of Sensor System SoftwareCalder, Professor MUniversity of GlasgowSchool of Computing Science 4,183,694
SERT: Scale-free, Energy-aware, Resilient and Transparent Adaptation of CSE Applications to Mega-core SystemsNikolopoulos, Professor DQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 963,929
SERT: Scale-free, Energy-aware, Resilient and Transparent Adaptation of CSE Applications to Mega-core SystemsNikolopoulos, Professor DQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 963,929
SERT: Scale-free, Energy-aware, Resilient and Transparent Adaptation of CSE Applications to Mega-core SystemsNikolopoulos, Professor DQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 963,929
STRATA; Layers for Structuring Trustworthy Ambient SystemsRomanovsky, Professor ANewcastle UniversityComputing Sciences 965,298
STRETCH: Socio-Technical Resilience for Enhancing Targeted Community HealthcarePrice, Mr BOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 1,049,532
SUCCESS -- SecUre aCCESSibility for the internet of thingsKammueller, Dr FMiddlesex UniversitySchool of Science and Technology 199,602
Taming ConcurrencyJones, Professor CBNewcastle UniversityComputing Sciences 643,519
TASCC: The Cooperative CarGriffiths, Dr NEUniversity of WarwickComputer Science 1,656,843
TASCC: The Cooperative CarGriffiths, Dr NEUniversity of WarwickComputer Science 1,656,843
Tensor Network Theory for strongly correlated quantum systemsJaksch, Professor DHUniversity of OxfordOxford Physics 720,431
The Digital Economy Innovation CentreBlair, Professor GLancaster UniversityComputing & Communications 5,969,321
The First Open Source Software for Non-Continuum Flows in EngineeringEmerson, Professor DSTFC Laboratories (Grouped)Computational Science & Engineering 294,061
The First Open-Source Software for Non-Continuum Flows in EngineeringReese, Professor JMUniversity of EdinburghSch of Engineering 275,879
The First Open-Source Software for Non-Continuum Flows in EngineeringLockerby, Professor DAUniversity of WarwickSch of Engineering 337,258
The Software Sustainability Institute: Phase 2Chue Hong, Mr NPUniversity of EdinburghEdinburgh Parallel Computing Centre 3,511,602
Time-sensitive protocol design and implementationBocchi, Dr LUniversity of KentSch of Computing 101,196
TRANSIT: Towards a Robust Airport Decision Support System for Intelligent TaxiingMahfouf, Professor MUniversity of SheffieldAutomatic Control and Systems Eng 234,537
TRANSIT: Towards a Robust Airport Decision Support System for Intelligent TaxiingWoodward, Dr J RUniversity of StirlingComputing Science and Mathematics 255,062
Trusted and Transparent Voting SystemsSchneider, Professor SAUniversity of SurreyComputing Science 614,484
Unified Stream and Transaction ProcessingMigliavacca, Dr MUniversity of KentSch of Computing 95,456
Verification of Web-based Systems (VOWS)Popescu, Dr A AMiddlesex UniversitySchool of Science and Technology 100,933
Why Johnny doesn't write secure software? Secure software development by the massesRashid, Professor ALancaster UniversityComputing & Communications 1,008,352

Total Number of Grants: 97
Total Value of Grants: £98,154,527

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