Mobile menu icon
Skip to navigation | Skip to main content | Skip to footer
Mobile menu icon Search iconSearch
Search type

Department of Computer Science

Image made up of keywords on a dark background

Autonomy and verification

The Autonomy and Verification Group focusses on autonomous systems and their development, verification, and analysis

Our researchers

Applications include robots, self-driving vehicles, distributed sensor-rich systems and decision-making software, alongside the development of verification techniques, standards and ethics for such systems with respect to safety, responsibility, assurance and trust.

The Group is part of a distributed Autonomy and Verification Lab across several universities.

We expect to soon see fully autonomous vehicles, robots, and software, all of which will need to be able to make their own decisions and take their actions, without direct human intervention.

Once humans delegate decision-making processes, even partially, then how can we be sure what autonomous systems will do? Will they be safe? Can we ever trust them? What if they fail? This is especially important once robotic devices, autonomous vehicles, etc, increasingly begin to be deployed in safety-critical situations.

  • Man operating a robotic vehicle silhouetted against a sunset sky.
  • Young girl holding hands with an android.
  • Assorted characters and symbols against a dark background.