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 computing framework for Discrete MultiphysicsAlexiadis, Dr AUniversity of BirminghamChemical Engineering 148,824
A feature-independent mesh generation and integrated solution frameworkSevilla, Dr RSwansea UniversityCollege of Engineering 427,929
ABC: Adaptive Brokerage for the CloudElkhatib, Dr YLancaster UniversityComputing & Communications 388,701
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 - 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 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
ASPIRE: Automated Sensing & Predictive Inference for Respiratory ExacerbationClifton, Professor DAUniversity of OxfordEngineering Science 1,475,512
Automated Software Specialisation Using Genetic ImprovementPetke, Dr JUCLComputer Science 891,505
Automatic repair of natural source codeMatragkas, Dr NUniversity of YorkComputer Science 131,677
Automatically Detecting and Surviving Exploitable Compiler BugsCadar, Professor CImperial College LondonDept of Computing 672,083
AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure SystemsBoureanu, Dr ICUniversity of SurreyComputing Science 303,951
Centre for Doctoral Training in Cyber Security at Royal HollowayCid, Professor CRoyal Holloway, Univ of LondonInformation Security 3,793,546
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
Customized and Adaptive approach for Optimal Cybersecurity InvestmentMalacaria, Professor PQueen Mary University of LondonSch of Electronic Eng & Computer Science 388,777
Cyber Security CDT Phase Two (University of Oxford)Martin, Professor AUniversity of OxfordComputer Science 3,489,711
CyPhyAssure: Compositional Safety Assurance for Cyber-Physical SystemsFoster, Dr SDUniversity of YorkComputer Science 562,549
Data Release - Trust, Identity, Privacy and SecurityWang, Dr VUniversity of PortsmouthInstitute of Criminal Justice Studies 299,355
Data Release - Trust, Identity, Privacy and SecurityJones, Professor MWSwansea UniversityCollege of Science 993,796
DeepSecurity - Applying Deep Learning to Hardware SecurityO'Neill, Professor MQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 765,827
Discovery: Pattern Discovery and Program Shaping for Heterogeneous Manycore SystemsCole, Professor MUniversity of EdinburghSch of Informatics 338,165
Discovery: Pattern Discovery and Program Shaping for Manycore SystemsThomson, Dr J DUniversity of St AndrewsComputer Science 366,059
Embedding Machine Learning within Quantifier Elimination ProceduresEngland, Dr MCoventry UniversityCtr for Fluid and Complex Systems 100,988
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,733,543
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,986,846
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
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)Bowes, Dr DHLancaster UniversityComputing & Communications 238,074
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Hall, Professor TLancaster UniversityComputing & Communications 367,238
Fast Runtime Verification via Machine LearningGrigore, Dr RUniversity of KentSch of Computing 100,918
From Data Types to Session Types---A Basis for Concurrency and DistributionWadler, Professor PUniversity of EdinburghSch of Informatics 3,956,088
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 PassauMathematics and Computer Science 200,009
HAMLET: Hardware Enabled Meta-Tracing (ext.)Tratt, Dr LKings College LondonInformatics 922,997
Household-Supplier Energy MarketChitchyan, Dr RUniversity of BristolComputer Science 459,141
Improving Symbolic Execution via Targeted Program TransformationsCadar, Professor CImperial College LondonDept of Computing 286,470
Infer<Proven>ence: Capturing Provenance Information with Minimal IntrusionChapman, Dr AUniversity of SouthamptonSch of Electronics and Computer Sci 222,788
InfoTestSS: Information theory and Test Suite SelectionHierons, Professor RUniversity of SheffieldComputer Science 294,170
InfoTestSS: Information theory and Test Suite SelectionClark, Dr DJUCLComputer Science 448,002
Interface reasoning for interacting systems (IRIS).Pym, Professor DUCLComputer Science 6,146,075
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
Manycore Research Innovation and Opportunities Network (MaRIONet)Singer, Dr JUniversity of GlasgowSchool of Computing Science 91,619
Models in the Cloud: Generative Software Frameworks to Support the Execution of Environmental Models in the CloudBlair, Professor GLancaster UniversityComputing & Communications 849,785
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
POST: Protocols, Observabilities and Session TypesYoshida, Professor NImperial College LondonDept of Computing 1,462,802
Research Institute in Verified Trustworthy Software Systems (VeTSS)Gardner, Professor PImperial College LondonDept of Computing 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 LondonDept of Computing 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
SPRITE+: The Security, Privacy, Identity, and Trust Engagement NetworkPlusBarrett, Professor EUniversity of Manchester, TheSocial Sciences 1,386,196
Stable Prediction of Defect-Inducing Software Changes (SPDISC)Minku, Dr LUniversity of BirminghamSchool of Computer Science 47,775
STRATA; Layers for Structuring Trustworthy Ambient SystemsRomanovsky, Professor ANewcastle UniversitySch of Computing 965,298
STRETCH: Socio-Technical Resilience for Enhancing Targeted Community HealthcarePrice, Professor BOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 1,049,532
String Constraint Solving with Real-World Regular ExpressionsHague, Dr MRoyal Holloway, Univ of LondonComputer Science 393,618
SUCCESS -- SecUre aCCESSibility for the internet of thingsKammueller, Dr FMiddlesex UniversityFaculty of Science & Technology 199,602
TASCC: The Cooperative CarGriffiths, Professor NEUniversity of WarwickComputer Science 1,656,843
TASCC: The Cooperative CarGriffiths, Professor NEUniversity of WarwickComputer Science 1,656,843
The UK Software Sustainability Institute: Phase 3Chue Hong, Mr NPUniversity of EdinburghEdinburgh Parallel Computing Centre 6,599,477
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
Trusted and Transparent Voting SystemsSchneider, Professor SAUniversity of SurreyComputing Science 614,484
UKRI Centre for Doctoral Training in Safe and Trusted Artificial IntelligenceLuck, Professor MKings College LondonInformatics 6,865,984
Values First Software EngineeringFerrario, Dr MFCLancaster UniversityComputing & Communications 101,025
Verifiably correct concurrency abstractionsDongol, Dr BUniversity of SurreyComputing Science 9,041
Verifiably correct concurrency abstractionsDerrick, Professor JUniversity of SheffieldComputer Science 17,123
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor PImperial College LondonDept of Computing 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: 93
Total Value of Grants: £114,104,766

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