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
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 - University of SurreySchneider, Professor SAUniversity of SurreyComputing Science 20,185
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
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
Comparing Classifiers CorrectlyShepperd, Professor MBrunel University LondonComputer Science 15,636
Compositional Security Analysis for BinariesKing, Professor AUniversity of KentSch of Computing 228,823
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
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 ProgrammingHarman, Professor MUCLComputer 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
Privacy Dynamics: Learning from The Wisdom of GroupsNuseibeh, Professor BOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 429,928
Privacy Dynamics: Learning from the Wisdom of GroupsLevine, Professor MUniversity of ExeterPsychology 256,694
Privacy Dynamics: Learning from the Wisdom of GroupsRusso, Professor AImperial College LondonDept of Computing 322,520
ProofPeer: Collaborative Theorem ProvingFleuriot, Dr JUniversity of EdinburghSch of Informatics 522,808
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
Statistical Natural Language Processing Methods for Computer Program Source CodeSutton, Dr CUniversity of EdinburghSch of Informatics 375,602
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
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 UniversityComputing Sciences 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,461,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 TaxiingWoodward, Dr J RUniversity of StirlingComputing Science and Mathematics 255,062
TRANSIT: Towards a Robust Airport Decision Support System for Intelligent TaxiingChen, Dr JUniversity of LincolnLincoln School of Engineering 316,421
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
USING FAULT CHARACTERISTICS TO IMPROVE SOFTWARE FAULT PREDICTIONHall, Professor TBrunel University LondonComputer Science 394,316
Verifiably correct high-performance concurrency libraries for multi-core computing systemsDongol, Dr BBrunel University LondonComputer Science 98,219
Verification of Web-based Systems (VOWS)Popescu, Dr A AMiddlesex UniversitySchool of Science and Technology 100,933
Virtual Wave Structure Interaction (WSI) Simulation EnvironmentJones, Mrs CSTFC Laboratories (Grouped)Computational Science & Engineering 429,005
Virtual Wave Structure Interaction (WSI) Simulation EnvironmentGraham, Dr DIUniversity of PlymouthSch of Computing & Mathematics 288,509
Virtual Wave Structure Interaction (WSI) Simulation EnvironmentQian, Dr LManchester Metropolitan UniversitySch of Computing, Maths and Digital Tech 323,344
Why Johnny doesn't write secure software? Secure software development by the massesRashid, Professor ALancaster UniversityComputing & Communications 1,008,352

Total Number of Grants: 74
Total Value of Grants: £82,012,091

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