Node in Verifiability Annual Report

Node in Verifiability Annual Report

Foreword by Professor Mohammad Mousavi, Node PI

Welcome to the first annual report of the UKRI Trustworthy Autonomous Systems Node on Verifiability!

The Node work started off in November 2020 and in this report, we cover the Node activities till the end of November 2021.

We had an exciting first year: the research associate posts were filled, common case studies were identified, and several project meetings, as well as community-building and engagement activities, were organised.

We engaged very actively with all Trustworthy Autonomous Systems Nodes and the Hub and planned research activities with them. Although we are very early in the lifetime of the project, we already have exciting results…read the full report.