Biography
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 Robert Sansom studentship. Prior to this, I read Mathematics and Computer Science at University College, Oxford, focusing on logic and algebra.
Research
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
Teaching
Graduate:
- Class instructor (i.e. TA) for the Part III Mathematics course Model Theory (Lent 2023, 4.5 hours)
- Class instructor for the Part III Mathematics course Large Cardinals (Lent 2023, 6 hours)
- Class instructor for the Part III Mathematics course Large Cardinals (Lent 2022, 6 hours)
Undergraduate:
- Supervisor (i.e. tutor) for the Part II Mathematics course Logic and Set Theory (Lent 2023, 25 hours)
- Supervisor for the Part II Mathematics course Automata and Formal Languages (Michaelmas 2022, 35 hours)
- Supervisor for the Part IB Computer Science course Complexity Theory (Easter 2022, 27 hours)
- Supervisor for the Part II Mathematics course Logic and Set Theory (Lent 2022, 24 hours)
- Supervisor for the Part II Mathematics course Automata and Formal Languages (Michaelmas 2021, 33 hours)
In Michaelmas Term 2022 I will also be leading the Mathematics Part III Preparatory Workshop for the Foundations courses.
Professional Activities
Selected Talks:
- Monadic NIP in monotone classes of relational structures, BPGMTC 2023, January 18 2023, Leeds, UK
- Monadic NIP in monotone classes of relational structures, LoGAlg 2022, November 22 2022, Montpellier, France
- Classes of relational structures without the strict order property, UltraMath 2022, June 7 2022, Pisa, Italy
- The cumulative hierarchy in Homotopy Type Theory, ESSLLI 2021, August 5 2021, Online
Organisation:
- 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)
