Students

Current PhD Students

  • Yaqing Jiang (Machine Learning for Interactive Theorem Proving)
  • Imogen Morris
  • Jake Palmer

Past PhD Students (Principal Supervisor)

  • 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)

  • Tom Ridge (2005)
  • Mark Collins (2005)
  • Zhiheng Huang (2005)
  • Jeremy Gow (2004)

Past MSc Students

  • 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) 🙂

Comments are closed.