Praxis Systems Ltd

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,029,473

Jun 10 - Oct 15

High-integrity Java Applications using Circus

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

£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