Centre for Software Reliability

Start Date

End Date Funded Value Relevance

CSV

25 50 100

Feb 23 - Jan 27

Verifying AI systems by extracting automata via learning

EPSRC award to City, University of London

£563,088

May 15 - May 18

EPSRC award to City, University of London and Ilir Gashi

£402,738

Sep 14 - Dec 17

Communicating and evaluating cyber risk and dependencies

EPSRC award to City, University of London and Robin Bloomfield

£97,386

Feb 13 - Jan 14

EPSRC award to City, University of London and Vladimir Stankovic

£661,074

Sep 06 - Feb 11

EPSRC award to City, University of London and Robin Bloomfield