skip to content

Department of Computer Science and Technology


I am a third year PhD student at the Computer Laboratory of the University of Cambridge, working on mathematical logic and theoretical computer science under Prof. Dawar's supervision. I am a member of Clare Hall, and my studies are supported by a George and Marie Vergottis Scholarship awarded through Cambridge Trust, an Onassis Foundation Scholarship, and a Robert Sansom studentship. Prior to this, I read Mathematics and Computer Science at University College, Oxford, focusing on logic and algebra.


Broadly, I am interested in model theory, combinatorics, and theoretical computer science. Concretely, some themes I investigate are:

  • Stability and structural graph theory
  • Graph homomorphisms
  • Homogeneous structures



Teaching assistant for the Part III Mathematics (MMath/MASt) courses:

I also lead the Part III Preparatory Workshop for the Foundations courses in Michaelmas 2022 and 2023. You can find my recordings here.


Supervisor (i.e. tutor) for the Part II Mathematics courses:

Supervisor for the Part IB Computer Science courses: 

You can find some of my teaching material here.

Professional Activities

Selected Talks:

  1. Model checking in monadically stable graph classes, CombProb 2023, November 6 2023, Leeds, UK
  2. Towards a characterisation of universal categories of relational structures, IUUK seminar, May 4 2023, Prague, Czech Republic
  3. Monadic NIP in monotone classes of relational structures, LoGAlg 2022, November 22 2022, Montpellier, France
  4. Classes of relational structures without the strict order property, UltraMath 2022, June 7 2022, Pisa, Italy
  5. The cumulative hierarchy in Homotopy Type Theory, ESSLLI 2021, August 5 2021, Online

Research Visits: 

  1. MIMUW, University of Warsaw, Warsaw, Poland. May 8-19 2023. Host: Szymon Toruńczyk
  2. IUUK, Charles University, Prague, Czech Republic. May 1-5 2023. Hosts: Jaroslav Nešetřil, Samuel Braunfeld


  • Co-chair of the Logic and Computation track for the Student Session of the 33rd European Summer School in Logic, Language, and Information (ESSLLI 2022)


  1. Preservation theorems on sparse classes revisited [arXiv]
    (with Anuj Dawar)
    Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024, to appear).
  2. First-order model checking on monadically stable graph classes [arXiv]
    (with Jan Dreier, Nikolas Mählmann, Rose McCarty, Michał Pilipczuk, and Szymon Toruńczyk)
    Proceedings of the 65th IEEE Symposium on Foundations of Computer Science (FOCS 2024, to appear).
  3. Universal slices of the category of graphs. [arXiv]
  4. Algebraically universal categories of relational structures. [arXiv]
  5. Monadic NIP in monotone classes of relational structures. [arXiv, DOI1,DOI2]
    (with Sam Braunfeld, Anuj Dawar, and Aris Papadopoulos)
    Proceedings of the 50th International Colloquium on Automata, Languages and Programming (ICALP 2023)1, and
    Proceedings of the European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'23)2.
  6. The cumulative hierarchy in Homotopy Type Theory.  [arXiv]
    Proceedings of the ESSLLI 2021 student session, M. Young Pedersen and A. Pavlova, Eds., 2021, pp. 24–33.

Contact Details

Office phone: 
(01223) 7-63680