- Future AI and Robotics for Space - FAIR-SPACE
- Robotics and Artificial Intelligence for Nuclear - RAIN
- Automated Robot Waste Processing
- RAI Hub for Offshore Energy Asset Integrity Management
- Science of Sensor System Software.
- Verification of UAS decisions in complex physical environments.
- UK-RAS New Capital Investment
- Impact Acceleration Account - University of Liverpool 2012
- EPSRC Institutional Sponsorship 2016
- Network on the Verification and Validation of Autonomous Systems.
- Verifiable Autonomy
- Trustworthy Robotic Assistants
- Reconfigurable Autonomy
- Lego Rovers Evolution
- Human-Machine Co-operation in Robotics and Autonomous Systems: Simulation, Safety and Verification Equipment Purchase.
- Engineering Autonomous Space Software
- Verifying Interoperability Requirements in Pervasive Systems