Co-creator of the 'Predicate Quantitative Logics for Safe Machine Learning' project under the ARIA Safeguarded AI programme
Academic lead for the D2AIR (Dependable and Deployable AI for Robotics) Centre for Doctoral Training, a joint PhD programme by Heriot-Watt University and the University of Edinburgh
Principal investigator on the AISEC project: 'AI Secure and Explainable by Construction', funded under the 'Security for All in AI Enabled Society' call, in collaboration with Heriot-Watt, Edinburgh, and Strathclyde Universities
Academic lead for a UKRI-funded ICASE PhD scholarship with SLB Cambridge on reasoning about complex systems using statistical ML and AI (2022–2027)
Academic lead for an Imandra-funded PhD project on 'Verification of Neural Networks in Imandra' at the Edinburgh Centre for Robotics (2022–2026)