Current PhD Students (Principal Supervisor)
- Filip Smola (Formal Modelling of Complex Systems via Compositional Approaches in Isabelle/HOL)
- James Vaughan (Network Analysis for Mathematical Reasoning in Isabelle)
- Jiawei Zheng (Probabilistic reasoning over processes)
- Lauren DeLong (Neurosymbolic AI in medicine/healthcare)
- Zonglin Ji (AI for healthcare processes)
- Richard Schmoetten (Formalisation of axiomatic Quantum Field Theory in Isabelle/HOL)
- Fiona Smith (AI and medicine/healthcare)
Recent Masters Students
- Matt Whyte (2023, Formalising Tensors in Isabelle/HOL – A Neurosymbolic Pipeline from Formal Specifications to Efficient Machine Learning Code, passed with Distinction). One of the outstanding MSc theses of the academic year 2022-23.
- Scott O’Donoghue (2022, Applying Machine Learning and Interpretable Techniques to Persistent Critical Illness, passed with Distinction). In collaboration with Naz Lone, Anaesthesia, Critical Care and Pain Medicine, Usher Institute.
- Callum Abbott (2021, To Drain or Not to Drain? A Causal Investigation into the Efficacy of Subdural Drains in Preventing CSDH Recurrence, passed with Distinction). Winner of the MSc in Data Science prize in the School of Mathematics. In collaboration with Paul Brennan and Michael Poon, Centre for Clinical Brain Sciences.
- Mathis Gerdes (2021, A Mechanized Investigation of an Axiomatic System for Minkowski Spacetime, passed with Distinction), one of the outstanding level MSc theses of the academic year 2020-21.
- Richard Schmoetten (2020, Mechanizing Minkowski spacetime, passed with Distinction). One of the outstanding MSc theses of the academic year 2019-20 and Winner of the MSc in Informatics thesis prize.
- Colleen Charlton (2020, Interpretable Classifiers for Brain Tumour Prediction, passed with Distinction). In collaboration with Paul Brennan and Michael Poon, Centre for Clinical Brain Sciences, University of Edinburgh. One of the outstanding MSc theses of the academic year 2019-20.
- Anita Klementiev (2020, Process Mining Techniques for Modelling Healthcare Patient Paths, passed with Distinction).
- Simon Thorogood (2019, Machine learning prediction of graft and patient survival following liver transplantation, passed with Distinction). In collaboration with Oxford NHS Trusts and NHSBT. One of the outstanding MSc theses of the academic year 2018-19 and Winner of the MSc in Data Science thesis prize.
- Callum Biggs O’May (2019, Machine learning based survival analysis for brain tumours, passed with Distinction). In collaboration with the Paul Brennan, Centre for Clinical Brain Sciences, University of Edinburgh.Edinburgh. One of the outstanding MSc theses of academic year 2018-19.
- Jessika Rockel (2019, Formalization of proofs from Euler’s Differential Calculus in Isabelle, passed with Distinction). One of the outstanding MSc theses of academic year 2018-19.
- Ka Wing Pang (2019, Coinductive reasoning over streams in Isabelle/HOL, passed with Distinction).
Recent Interns
- Alex Hyman (2023, Formal Verification of Automatic Differentiation).
- Matthew Whyte (2022-23, Formally-constrained Neural Learning).
- Filip Smola (2020, Interactive theorem proving and formal verification, with application to automatic differentiation).
- Filip Smola (2019, Formal modelling of industrial workflows using Digiflow).
- Kyriakos Katsamaktsis (2019, Formalization of Euler’s paper on the infinity of infinities of orders of the infinitely large and infinitely small).
Past PhD Students (Principal Supervisor)
- Jorge Gaete Villegas (Modelling and Predicting Medical Outcomes for Intensive Care Patients via Network Mechanisms and Machine
Learning, 2024). - Mark Chevallier (Applications of Formalised Mathematics and Logic to Reinforcement and Deep Learning, 2023).
- Imogen Morris (Formalization of Euler’s Introductio in Isabelle/HOL, 2022).
- Jake Palmer (Formal Verification of Voting Algorithms in Isabelle, 2022).
- Yaqing Jiang (Machine Learning for Inductive Theorem Proving, 2018).
- Phil Scott (Ordered Geometry in Hilbert’s Grundlagen der Geometrie, 2014)
- Petros Papapanagiotou (A Formal Verification Approach to Process Modelling and Composition, 2014)
- Laura Meikle (Intuition in Formal Proof: A Novel Framework for Combining Mathematical Tools, 2013)
- Sean Wilson (Supporting Dependently Typed Functional Programming with Proof Automation and Testing, 2010)
- Lucas Dixon (A Proof Planning Framework for Isabelle, 2006)
- Ewen Maclean (Using Proof-Planning to Investigate the Structure of Proof in Non-Standard Analysis, 2003)
Past PhD Students (Second Supervisor, incomplete list)
- Tom Ridge (2005)
- Mark Collins (2005)
- Zhiheng Huang (2005)
- Jeremy Gow (2004)
Past MSc Students (Very incomplete list)
- Victor Dumitrescu (MSc by research, 2016)
- Phil Scott (2008)
- Petros Papapanagiotou (2007)
- Jonas Halvorsen (2007)
- Chris Laumann (2004)
- Robbert Brak (2004)
- …
Past Undergraduate Students
- Too many to mention (but if one of you is reading this: you were all special) 🙂