EPSRC logo
Current EPSRC Support by Department

Organisation: Imperial College London
Department: Computing

Grant TitlePrincipal InvestigatorValue (£)
A Research Software Engineering Hub for Computational ResearchCohen, Dr J 639,259
Algorithms for Industrial Demand-Side Management Under UncertaintyTsay, Dr C 350,543
Application Customisation: Enhancing Design Quality and Developer ProductivityLuk, Professor W 1,263,356
Automated Fetal and Neonatal Movement Assessment for Very Early Health AssessmentKainz, Dr B 625,543
CloudCAP: Capability-based Isolation for Cloud Native ApplicationsPietzuch, Professor PR 879,242
DART: Design Accelerators by Regulating TransformationsLuk, Professor W 613,910
DEFORM: Large Scale Shape Analysis of Deformable Models of HumansZafeiriou, Dr S 1,350,283
EPSRC Centre for Doctoral Training in High Performance Embedded and Distributed SystemsLuk, Professor W 4,099,016
EPSRC Network+ proposal: Human-Like ComputingMuggleton, Professor S 1,346,363
GALINI: Global ALgorithms for mixed-Integer Nonlinear optimisation of Industrial systemsMisener, Professor R 984,063
Optimising Information Processing for Quantum TechnologiesBerta, Dr MA 275,132
Perceiving, Modelling and Interacting with the Object-Based WorldDavison, Professor AJ 2,066,563
POST: Protocols, Observabilities and Session TypesYoshida, Professor N 1,462,802
Prosperity Partnership Call 2 Strategic Students-Dyson and Imperial CollegeDavison, Professor AJ 416,592
REcoVER: Learning algorithms for REsilient and VErsatile RobotsCully, Dr A 285,285
Research Institute in Verified Trustworthy Software Systems (VeTSS)Gardner, Professor P 654,850
Robotics & Autonomous Systems: EPSRC UK-RAS NetworkRodriguez y Baena, Professor FM 871,055
SAIS: Secure AI assistantSLomuscio, Professor AR 396,174
SCOPE: Scoped Contextual Operations and Effects.Wu, Dr N 262,413
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor N 697,651
SmartHeart: Next-generation cardiovascular healthcare via integrated image acquisition, reconstruction, analysis and learningRueckert, Professor D 5,253,734
Strategy Logics for the Verification of Security ProtocolsBelardinelli, Dr F 8,996
The Third International Workshop on Formal Methods in Artificial IntelligenceBelardinelli, Dr F 5,238
Transparent Compression for General-Purpose Programming LanguagesPirk, Dr H 293,360
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsYoshida, Professor N 863,741
UKRI Centre for Doctoral Training in Artificial Intelligence for HealthcareFaisal, Dr A 7,843,815
VeTSpec: Verified Trustworthy Software SpecificationGardner, Professor P 1,579,794

Total Number of Grants: 27
Total Value of Grants: £35,388,773

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