group

I am fortunate to work with the following PhD students

Joshua Ong (at Imperial College London)

  • 2025 -, with Eleonora Giunchiglia (primary)
  • BSc in Mathematics and Statistics: University of Edinburgh

Yufan Zhao

  • 2025 -
  • BSc and MSc in Mathematics, Imperial College London; MSc in Computing, National University of Singapore

Aeacus Sheng

  • 2025 -, with Paul Jackson (primary)
  • BSc and MSc in Mathematics, Imperial College London; MSc in Logic, CMU

Huajian Xin

  • 2024 -, with Jacques Fleuriot
  • BS in Philosophy: Sun Yat-sen University, China

Artie Khovanov

  • 2024 -, with Paul Jackson
  • BA in Mathematics: University of Cambridge

Marco Dos Santos (at the University of Cambridge)

  • 2024 -, with Mateja Jamnik (primary) and Albert Qiaochu Jiang
  • MSc in Mathematics: Sorbonne University, MSc in Mathematics: Paris Cite University

Albert Qiaochu Jiang (at the University of Cambridge)

  • 2021 - 2024, with Mateja Jamnik (primary)
  • BA in Engineering, University of Cambridge; MSc in Computer Science, University of Oxford