EPSRC logo
EPSRC Support by Research Area in Software Engineering

Research areas are used to describe EPSRC's portfolio of excellent long term research and high quality postgraduate training.

Grants are classified using one or more research areas. All the grants listed below have some relevance to this research area. The value of the investment is the total awarded by EPSRC and does not reflect the proportion assigned to this research area.

We always try to ensure that grants on the web contains the most recent information but it is possible that some might be slightly out of date.

Grant TitlePrincipal
Investigator
OrganisationDepartmentTotal Grant
Value (£)
A Calculus for Software Engineering of Mobile and Autonomous RobotsCavalcanti, Professor ALCUniversity of YorkComputer Science 1,766,824
ABC: Adaptive Brokerage for the CloudBlair, Professor GLancaster UniversityComputing & Communications 388,701
ABC: Adaptive Brokerage for the CloudBarker, Dr 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 - Imperial College LondonLupu, Professor 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 UniversitySch of Computer Science 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 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
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
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
Customized and Adaptive approach for Optimal Cybersecurity InvestmentMalacaria, Professor PQueen Mary University of LondonSch of Electronic Eng & Computer Science 388,777
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,489,111
DAASE: Dynamic Adaptive Automated Software EngineeringBarr, Dr EUCLComputer 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
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, 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
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
Improving Symbolic Execution via Targeted Program TransformationsCadar, Dr CImperial College LondonDept of Computing 286,470
InfoTestSS: Information theory and Test Suite SelectionHierons, Professor RBrunel University LondonComputer Science 440,393
InfoTestSS: Information theory and Test Suite SelectionClark, Dr DJUCLComputer Science 448,002
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
MobSec: Malware and Security in the Mobile AgeCavallaro, Dr LRoyal Holloway, Univ of LondonInformation Security 747,777
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
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
Reducing Cost of Software: A Scalable Model-Based Verification FrameworkRoscoe, Professor AUniversity of OxfordComputer Science 961,156
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
Stable Prediction of Defect-Inducing Software Changes (SPDISC)Minku, Dr LUniversity of LeicesterComputer Science 100,542
STRATA; Layers for Structuring Trustworthy Ambient SystemsRomanovsky, Professor ANewcastle UniversitySch of Computer Science 965,298
STRETCH: Socio-Technical Resilience for Enhancing Targeted Community HealthcarePrice, Professor 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
System-Level Game Semantics: A unifying framework for composing systemsGhica, Dr DRUniversity of BirminghamSchool of Computer Science 334,312
System-Level Game Semantics: A unifying framework for composing systemsTzevelekos, Dr NQueen Mary University of LondonSch of Electronic Eng & Computer Science 326,972
Taming ConcurrencyJones, Professor CBNewcastle UniversitySch of Computer Science 643,519
TASCC: Human Interaction: Designing Autonomy in Vehicles (HI:DAV)Stanton, Professor NUniversity of SouthamptonFaculty of Engineering & the Environment 1,782,704
The Digital Economy Innovation CentreBlair, Professor GLancaster UniversityComputing & Communications 5,969,321
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
Trusted and Transparent Voting SystemsSchneider, Professor SAUniversity of SurreyComputing Science 614,484
Values First Software EngineeringFerrario, Dr MFCLancaster UniversityComputing & Communications 101,025
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: 81
Total Value of Grants: £80,049,062

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