Projects
Projects as a Co-Investigator
SPACE (2022-2023): Fully Decentralised Distributed Learning for Tradeoff of Privacy, Accuracy, Communication Complexity, and Efficiency (£60k, funded by Innovate UK). In this competition, our team wins the Special Recognition Award for novel modelling/design of the UK-US Privacy-Enhancing Technologies Prize Challenges.
SOLITUDE (2021-2022): Safety Argument for Learning-enabled Autonomous Underwater Vehicles (£400K, funded by UK Dstl).
COVE (2020-2021): Continual Verification and Assurance of Robotic Systems under Uncertainty (£300K, funded by UK EPSRC via ORCA-Hub).
Projects as a researcher
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.
