| A Research Software Engineering Hub for Computational Research | Cohen, Dr J |
639,259
|
| Algorithms for Industrial Demand-Side Management Under Uncertainty | Tsay, Dr C |
350,543
|
| CloudCAP: Capability-based Isolation for Cloud Native Applications | Pietzuch, Professor PR |
879,242
|
| DART: Design Accelerators by Regulating Transformations | Luk, Professor W |
613,910
|
| DEFORM: Large Scale Shape Analysis of Deformable Models of Humans | Zafeiriou, Professor S |
1,350,283
|
| EPSRC Centre for Doctoral Training in High Performance Embedded and Distributed Systems | Luk, Professor W |
4,099,016
|
| EPSRC Network+ proposal: Human-Like Computing | Muggleton, Professor S |
1,346,363
|
| GALINI: Global ALgorithms for mixed-Integer Nonlinear optimisation of Industrial systems | Misener, Professor R |
984,063
|
| Perceiving, Modelling and Interacting with the Object-Based World | Davison, Professor AJ |
2,066,563
|
| POST: Protocols, Observabilities and Session Types | Yoshida, Professor N |
1,462,802
|
| Prosperity Partnership Call 2 Strategic Students-Dyson and Imperial College | Davison, Professor AJ |
416,592
|
| REcoVER: Learning algorithms for REsilient and VErsatile Robots | Cully, Dr A |
285,285
|
| Reliable and Robust Quantum Computing | Kelly, Professor P |
70,209
|
| Research Institute in Verified Trustworthy Software Systems (VeTSS) | Gardner, Professor P |
654,850
|
| Robotics & Autonomous Systems: EPSRC UK-RAS Network | Rodriguez y Baena, Professor FM |
871,055
|
| SAIS: Secure AI assistantS | Lomuscio, 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 learning | Rueckert, Professor D |
5,253,734
|
| Strategy Logics for the Verification of Security Protocols | Belardinelli, Dr F |
8,996
|
| Transparent Compression for General-Purpose Programming Languages | Pirk, Dr H |
293,360
|
| Turtles: Protocol-Based Foundations for Distributed Multiagent Systems | Yoshida, Professor N |
863,741
|
| UKRI Centre for Doctoral Training in Artificial Intelligence for Healthcare | Faisal, Dr A |
7,843,815
|
| VeTSpec: Verified Trustworthy Software Specification | Gardner, Professor P |
1,579,794
|