Biography
I am a fourth 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, and theoretical computer science. Concretely, Ι work on the interactions between structural graph theory and stability theory. I am also interested in problems around graph homomorphisms.
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 led 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 2024: Complexity Theory (18 hours)
- 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:
- Preservation theorems on sparse classes revisited, MFCS 2024, August 29 2024, Bratislava, Slovakia
- 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:
- School of Mathematics, Georgia Institute of Technology, Atlanta, USA. October 31-November 8 2024. Host: Rose McCarty.
- Department of Mathematics, University of Chicago, Chicago, USA. October 24-25 2024. Host: Maryanthe Malliaris.
- MIMUW, University of Warsaw, Warsaw, Poland. October 1-4 2024. Hosts: Mikołaj Bojańczyk, Aliaume Lopez.
- MIMUW, University of Warsaw, Warsaw, Poland. November 12-22 2023. Hosts: Michał Pilipczuk, Szymon Toruńczyk.
- 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
- Extension preservation on dense graph classes [arXiv]
Submitted. - Preservation theorems on sparse classes revisited [arXiv, DOI]
(with Anuj Dawar)
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024),
Invited to special issue of Information and Computation. - 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. - Universal slices of the category of graphs [arXiv, DOI]
Algebra Universalis, 85, 42, 2024. - Algebraically universal categories of relational structures [arXiv]
Accepted, Journal of Pure and Applied Algebra. - 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]
Proceedings of the ESSLLI 2021 student session, M. Young Pedersen and A. Pavlova, Eds., 2021, pp. 24–33.
