Projects

This website stops updating after 1st-Jan-2022. Please ref to my new website at https://www.xzhao.me/

Projects as a Co-Investigator

• SOLITUDE (2021-2022): Safety Argument for Learning-enabled Autonomous Underwater Vehicles (£400K).

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

Projects as a researcher (PDRA or PhD student)

• FOCETA (2021-2023): Foundations for Continuous Engineering of Trustworthy Autonomy.
• AAIP (2019-2023): Assuring Autonomy International Programme.
• ORCA (2018-2021): Offshore Robotics for Certification of Asset Hub, WP4 Robot & Asset Self-Certification.

• DISPO (2013-2018): Diverse Software Project.

• D3S (2017-2018): Diversity and Defense in Depth for Security – A Probabilistic Approach.