My PhD students (as first supervisor):
2025:
-
Marco Casadio. Formal And Geometric Foundations For Deep Learning
Under Safety Constraints. Heriot-Watt, Edinburgh, 2025
2024:
-
Daniel Kienitz. The Influence of Geometric Properties of
Data Distributions on Artificial Neural
Networks. Heriot-Watt, Edinburgh, 2024
2023:
-
Alasdair Hill. Planning Problems as Types, Plans as
Programs: A Dependent Types
Infrastructure for Verification and
Reasoning about Automated Plans in
Agda. Heriot-Watt, Edinburgh, 2023
2021:
-
Frantisek Farka. Proof-relevant resolution - the foundations of constructive
proof automation. Heriot-Watt, Edinburgh, 2021.
2019:
-
Yue Li. A Proof-Theoretic Approach to Coinduction in
Horn Clause Logic. Heriot-Watt, Edinburgh, 2019.
Awards and successes of my MSc and BSc students:
August 2025: Best BSc Dissertation award: Joshua Smart: Implementation of a Rocq Backend to
the Vehicle Neural Network Specification Language. (U. Southampton)
September 2022: Best MSc dissertation award: Henri-Louis Boisvert Evaluating the Performance of Different Reinforcement Learning Methods for Autonomous Racing. (Heriot-Watt U.)
September 2021: Best MSc dissertation award: Remi Desmartin: Convolutional Neural Networks in Imandra; and PhD Scholarship at the Edinburgh Center for Robotics. (Heriot-Watt U.)
Summer 2021: James Watt Scholarship for PhD studies in NLP Verification, Marco Casadio (my former MSc
student) (Heriot-Watt U.)
Spring 2021: DTA Scholarship for PhD studies in Verifiable Properties of Neural Networks, Natalia Slusarz (my former BSc student). (Heriot-Watt U.)
September 2020: Best MSc dissertation award: Alexandre Cardaillac: Explainable AI: Methods to Evaluate
Machine Learning Models. (Heriot-Watt U.)
September 2019: Best MSc dissertation award: Daniel Kienitz: Robustness of Neural Networks: Understanding
the Nature of Adversarial Examples; and James Watt Scholarship for PhD studies in Neural Network Verification. (Heriot-Watt U.)
September 2018: Best MSc Poster prize, Julian Kurz. (Heriot-Watt U.)
Summer 2015: Carnegie Trust Scholarship for my Hons student A.Pond (U. Dundee).