Our laboratory has moved to the University of Manchester.

For more information please visit the Autonomy and Verification Group website and the Autonomy and verification Network website.