Autonomous systems, robotics, artificial intelligence, formal verification, sensor systems and programming
This page has moved:
https://autonomy-and-verification-uol.github.io/
Current externally-funded work
We welcome opportunities for collaboration and media engagement. For more information please contact Prof. Michael Fisher.