Projects

Projects as a Co-Investigator

• COVE (2020-2021): Continual Verification and Assurance of Robotic Systems under Uncertainty (£250K).

Projects as a researcher

• ORCA (2018-2021): Offshore Robotics for Certification of Asset Hub, WP4 Robot & Asset Self-Certification.
• AAIP (2019-2023): Assuring Autonomy International Programme.
• DISPO (2013-2018): Diverse Software Project.
• D3S (2017-2018): Diversity and Defence in Depth for Security – A Probabilistic Approach.