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 of structural and algorithmic graph theory with 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 Invited Talks:
- Model-theoretic insights to algorithmic tractability, UIC Logic Seminar, October 29 2024, Chicago, USA.
- Preservation theorems on tame classes of finite structures, MIMUW Seminar, October 2 2024, Warsaw, Poland.
- Model checking on 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
Research Visits:
- School of Mathematics, Georgia Institute of Technology, Atlanta, USA. October 31-November 8 2024. Host: Rose McCarty.
- DMSCS, University of Illinois Chicago, Chicago, USA. October 29 2024. Host: Caroline Terry.
- 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, DOI]
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025), to appear.
Winner of the Helena Rasiowa award. - 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, DOI]
(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). - 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.