EPSRC logo
EPSRC Support by Research Area (Software Engineering) in Theme (Information and Communication Technologies)

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. The number and value of grants listed below reflects how the theme portfolio is described by this research area.

Please note: some research areas will appear under multiple themes. There is no unique, absolute, relationship between a research area and a theme.

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
ABC: Adaptive Brokerage for the CloudBarker, Professor AUniversity of St AndrewsComputer Science 386,558
ABC: Adaptive Brokerage for the CloudElkhatib, Dr YLancaster UniversityComputing & Communications 388,701
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, Dr CImperial College LondonDept of Computing 672,083
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
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
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
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Woodward, Dr J RQueen Mary University of LondonSch of Electronic Eng & Computer Science 242,011
From Data Types to Session Types---A Basis for Concurrency and DistributionWadler, Professor PUniversity of EdinburghSch of Informatics 3,956,088
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
Improving Symbolic Execution via Targeted Program TransformationsCadar, Dr 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 SelectionClark, Dr DJUCLComputer Science 448,002
InfoTestSS: Information theory and Test Suite SelectionHierons, Professor RUniversity of SheffieldComputer Science 294,170
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
Manchester Centre for Doctoral Training in Computer ScienceFurber, Professor S BUniversity of Manchester, TheComputer Science 2,206,798
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
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
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
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
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
TASCC: Human Interaction: Designing Autonomy in Vehicles (HI:DAV)Stanton, Professor NUniversity of SouthamptonFaculty of Engineering & the Environment 1,782,704
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
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
Values First Software EngineeringFerrario, Dr MFCLancaster UniversityComputing & Communications 101,025
Verifiably correct concurrency abstractionsDerrick, Professor JUniversity of SheffieldComputer Science 17,123
Verifiably correct concurrency abstractionsDongol, Dr BUniversity of SurreyComputing Science 9,041

Total Number of Grants: 49
Total Value of Grants: £39,226,030

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