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 YUniversity of GlasgowSchool of Computing Science 117,047
Automated Software Specialisation Using Genetic ImprovementPetke, Dr JUCLComputer Science 891,505
Automatically Detecting and Surviving Exploitable Compiler BugsCadar, Professor CImperial College LondonComputing 672,083
CITCoM: Casual Inference for Testing of Computational ModelsWalkinshaw, Dr NUniversity of SheffieldComputer Science 670,838
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
Edge Computing Resource Allocation for Dynamic NetworksAthanasopoulos, Dr NQueen's University of BelfastSch of Electronics, Elec Eng & Comp Sci 254,305
End to End Authentication of Caller ID in Heterogeneous Telephony SystemsHao, Professor FUniversity of WarwickComputer Science 901,040
Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded SystemsBrown, Dr CMUniversity of St AndrewsComputer Science 382,865
Exploiting Defect Prediction for Automatic Software Repair (Fixie)Hall, Professor TLancaster UniversityComputing & Communications 367,238
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
Feedback and Optimisation for Well-behaved Anonymous Communication NetworksElahi, Dr MUniversity of EdinburghSch of Informatics 232,700
HAMLET: Hardware Enabled Meta-Tracing (ext.)Tratt, Professor LKings College LondonInformatics 922,997
Infer<Proven>ence: Capturing Provenance Information with Minimal IntrusionChapman, Professor AUniversity of SouthamptonSch of Electronics and Computer Sci 222,788
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
Keep LearningHart, Professor EEdinburgh Napier UniversitySchool of Computing 388,219
Keep LearningMiguel, Professor IJUniversity of St AndrewsComputer Science 378,027
POST: Protocols, Observabilities and Session TypesYoshida, Professor NImperial College LondonComputing 1,462,802
RE-PRESENT: Automatic Repair of Presentation Failures in Web ApplicationsMcMinn, Professor PSUniversity of SheffieldComputer Science 27,774
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
Serious Coding: A Game Approach To Security For The New Code-CitizensBaillie, Professor LHeriot-Watt UniversityS of Mathematical and Computer Sciences 998,239
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor NImperial College LondonComputing 697,651
Session Types for Reliable Distributed Systems (STARDUST)Bocchi, Dr LUniversity of KentSch of Computing 555,120
Session Types for Reliable Distributed Systems (STARDUST)Gay, Professor SJUniversity of GlasgowSchool of Computing Science 563,806
Socio-technical resilience in software development (STRIDE)Sharp, Professor HOpen UniversityFaculty of Sci, Tech, Eng & Maths (STEM) 610,573
Socio-technical resilience in software development (STRIDE)Levine, Professor MLancaster UniversityPsychology 337,965
Socio-technical resilience in software development (STRIDE)Jay, Dr CUniversity of Manchester, TheComputer Science 50,156
Statistical Network Analysis: Model Selection, Differential Privacy, and Dynamic StructuresYao, Professor QLondon School of Economics & Pol SciStatistics 501,156
String Constraint Solving with Real-World Regular ExpressionsHague, Dr MRoyal Holloway, Univ of LondonComputer Science 393,618
Studies in Computing to enable research and teaching on Electronic Literature and Digital CultureFülöp, Dr ELancaster UniversityLanguages and Cultures 119,839
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
Twenty20InsightBencomo, Dr NAston UniversityCollege of Engineering and Physical Sci 586,520
Twenty20InsightHe, Professor YUniversity of WarwickComputer Science 305,864
UniFaaS: A Unikernel-Based Serverless Operating SystemOlivier, Dr PUniversity of Manchester, TheComputer Science 267,264
Verifying Resource-like Data Use in Programs via TypesOrchard, Dr DAUniversity of KentSch of Computing 229,328

Total Number of Grants: 44
Total Value of Grants: £31,774,354

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