EPSRC logo
EPSRC Support By Scheme in Standard Research

Organisation: Imperial College London
Department: Computing

Grant TitlePrincipal InvestigatorValue (£)
Automated Fetal and Neonatal Movement Assessment for Very Early Health AssessmentKainz, Dr B 625,543
Automatically Detecting and Surviving Exploitable Compiler BugsCadar, Professor C 672,083
CloudCAP: Capability-based Isolation for Cloud Native ApplicationsPietzuch, Professor PR 879,242
DART: Design Accelerators by Regulating TransformationsLuk, Professor W 613,910
Efficient and Robust Assessment of Cardiovascular Disease Using Machine Learning and Ultrasound ImagingRueckert, Professor D 397,985
Perceiving, Modelling and Interacting with the Object-Based WorldDavison, Professor AJ 2,066,563
Research Institute in Verified Trustworthy Software Systems (VeTSS)Gardner, Professor P 654,850
Robot Assisted Endovascular Intervention: Device Design and InnovationRodriguez y Baena, Professor FM 1,112,059
SAIS: Secure AI assistantSLomuscio, Professor AR 396,174
Session Types for Reliable Distributed Systems (STARDUST)Yoshida, Professor N 697,651
The Third International Workshop on Formal Methods in Artificial IntelligenceBelardinelli, Dr F 5,238
Turtles: Protocol-Based Foundations for Distributed Multiagent SystemsYoshida, Professor N 863,741

Total Number of Grants: 12
Total Value of Grants: £8,985,039

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