skip to content

Department of Computer Science and Technology


I am a 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 partial EPSRC studentship. Prior to this, I read Mathematics and Computer Science at University College, Oxford, focusing on logic and algebra.


I am mainly interested in model theory and combinatorics, and their interactions with adjacent areas in theoretical computer science. Some themes I investigate are:

  • Tame hereditary classes
  • Ultrahomogeneous structures
  • Structural limits 



  • Class instructor (i.e. TA) for the Part III Mathematics course Large Cardinals (Lent 2022, 6 hours)


In Michaelmas Term 2022 I will also be leading the Mathematics Part III Preparatory Workshop for the Foundations courses. 

Professional Activities

Selected Talks:

  1. Monadic NIP in monotone classes of relational structures, LoGAlg 2022, November 22 2022, Montpellier, France
  2. Classes of relational structures without the strict order property, UltraMath 2022, June 7 2022, Pisa, Italy
  3. The cumulative hierarchy in Homotopy Type Theory, ESSLLI 2021, August 5 2021, Online


  • 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. Ioannis Eleftheriadis (2021). “The cumulative hierarchy in Homotopy Type Theory”. arXiv:2108.06348

      Contact Details

      Office phone: 
      (01223) 7-63680