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
|