D-RisQ

Start Date End Date Funded Value Relevance

CSV

25 50 100

£2,923,652

Nov 20 - Aug 21

UKRI Trustworthy Autonomous Systems Node in Verifiability

SPF award to University of Leicester and Mohammad Reza Mousavi

£1,166,973

Apr 18 - Aug 24

EPSRC award to University of York and Ana Cavalcanti

£1,766,824

Sep 15 - Jun 21

EPSRC award to University of York and Ana Cavalcanti

£648,434

May 07 - Oct 11

CSP Model Checking: New Technology and Techniques

EPSRC award to University of Oxford and A Roscoe

£8,660,006

Nov 17 - Mar 22

Future AI and Robotics Hub for Space (FAIR-SPACE)

ISCF award to University of Surrey and Martin Sweeting

£2,621,149

Aug 21 - Oct 24

UKRI Trustworthy Autonomous Systems Node in Verifiability

SPF award to King's College London and Mohammad Reza Mousavi

£12,807,911

Oct 17 - Mar 22

Robotics and Artificial Intelligence for Nuclear (RAIN)

ISCF award to University of Manchester and Barry Lennox