Biography
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.
Research
Broadly, I am interested in model theory, combinatorics, theoretical computer science, and universal algebra. Concretely, some themes I investigate are:
- Stability and structural graph theory
- Graph homomorphisms
- Homogeneous structures
Teaching
Graduate:
Teaching assistant for the Part III Mathematics (MMath/MASt) courses:
- Lent 2024: Large Cardinals (6 hours)
- Michaelmas 2023: Model Theory and Non-Classical Logic (8 hours)
- Lent 2023: Model Theory (4.5 hours), Large Cardinals (6 hours)
- Lent 2022: Large Cardinals (6 hours)
I also lead the Part III Preparatory Workshop for the Foundations courses in Michaelmas 2022 and 2023. You can find my recordings here.
Undergraduate:
Supervisor (i.e. tutor) for the Part II Mathematics courses:
- Lent 2024: Logic and Set Theory
- Michaelmas 2023: Automata and Formal Languages (20 hours)
- Lent 2023: Logic and Set Theory (25 hours)
- Michaelmas 2022: Automata and Formal Languages (35 hours)
- Lent 2022: Logic and Set Theory (24 hours)
- Michaelmas 2021: Automata and Formal Languages (33 hours)
Supervisor for the Part IB Computer Science courses:
- Easter 2023: Complexity Theory (24 hours)
- Easter 2022: Complexity Theory (27 hours)
You can find some of my teaching material here.
Professional Activities
Selected Talks:
- Model checking in monadically stable graph classes, CombProb 2023, November 6 2023, Leeds, UK
- Towards a characterisation of universal categories of relational structures, IUUK seminar, May 4 2023, Prague, Czech Republic
- 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
Research Visits:
- MIMUW, University of Warsaw, Warsaw, Poland. May 8-19 2023. Host: Szymon Toruńczyk
- IUUK, Charles University, Prague, Czech Republic. May 1-5 2023. Hosts: Jaroslav Nešetřil, Samuel Braunfeld.
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)
Publications
- First-order model checking on monadically stable graph classes [arXiv]
(with Jan Dreier, Nikolas Mählmann, Rose McCarty, Michał Pilipczuk, and Szymon Toruńczyk)
Submitted. - Universal slices of the category of graphs. [arXiv]
Submitted. - Algebraically universal categories of relational structures. [arXiv]
Submitted. - Monadic NIP in monotone classes of relational structures. [arXiv, DOI]
(with Sam Braunfeld, Anuj Dawar, and Aris Papadopoulos)
Proceedings of the 50th International Colloquium on Automata, Languages and Programming (ICALP 2023). - The cumulative hierarchy in Homotopy Type Theory. [arXiv]
Submitted.