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
- Separability properties of monadically dependent graph classes [arXiv]
(with Édouard Bonnet. Sam Braunfeld, Colin Genniet, Nikolas Mählmann, Michał Pilipczuk, Wojciech Przybyszewski, and Szymon Toruńczyk)
Proceedings of the 52nd International Colloquium on Automata, Languages and Programming (ICALP 2025), to appear. - Extension preservation on dense graph classes [arXiv, DOI]
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025).
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, DOI]
Journal of Pure and Applied Algebra, 107984, 2025. - 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.
