UKRI Trustworthy Autonomous Systems Node in Verifiability

Project: Research

Project Details

Effective start/end date16/08/202131/10/2024

Collaborative partners

  • King's College London (lead)
  • BT plc
  • Shadow Robot Company Ltd
  • University of Liverpool
  • Amazon Web Services EMEA SARL
  • BAE Systems plc
  • Bloc Digital
  • D-RisQ Ltd
  • Consequential Robotics
  • Scoutek Ltd
  • University of Sheffield
  • Connected Places Catapult
  • Sheffield Children's NHS Foundation Trust
  • University of Leeds
  • University of York
  • Cyberselves Universal Limited
  • Guidance Automation Ltd
  • Durham University
  • Lancaster University
  • University of Manchester
  • University of Leicester


  • EPSRC Engineering and Physical Sciences Research Council: £2,621,149.00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.