Name: Name: UKRI Trustworthy Autonomous Systems Node in Verifiability 

Duration: 42 months 

Granted by: UK Engineering & Physical Sciences Research Council

Website: https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V026801/1