Galois, Inc.

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

£3,063,677

Nov 20 - Oct 24

UKRI Trustworthy Autonomous Systems Node in Resilience

SPF award to University of York and Radu Calinescu

£1,030,182

Aug 20 - Feb 25

ISCF award to University of Southampton and Michael Butler

£1,509,984

Oct 16 - Dec 17

Trust and Security in Numbers

EPSRC award to University of Bristol and Nigel Smart

£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