Department of Computer Science and Technology

Yoàv Montacute

PhD student, St John's College.
Department of Computer Science and Technology,
University of Cambridge.

Research focus: logic and foundations of mathematics, theory of computation, algorithms.

Academic interest: mathematical logic, finite model theory, category theory, topology, algebraic-topology, dynamical systems, graph theory.

I am a PhD student under the supervision of Professor Anuj Dawar.

During the academic year 2022/23, I will be affiliated with The Alan Turing Institute as an Enrichment Student working on a research project related to logic and dynamical systems.


  • Linear Arboreal Categories. With Samson Abramsky and Nihil Shah. [ArXiv]

  • Dynamic Tangled Derivative Logic of Metric Spaces. With David Fernández-Duque. [ArXiv]

  • Untangled: A Complete Dynamic Topological Logic. With David Fernández-Duque. (To appear in AAAI-23) [ArXiv]

  • Cantor Derivative Logic in Topological Dynamics (short paper).
    14th Conference on Advances in Modal Logic (AiML 2022). [Booklet][ArXiv]

  • The Pebble-Relation Comonad in Finite Model Theory. With Nihil Shah.
    37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Winner of the Kleene Award. [Proceedings][ArXiv]

  • Dyanmic Cantor Derivative Logic. With David Fernández-Duque.
    30th EACSL Annual Conference on Computer Science Logic (CSL 2022). [Proceedings][ArXiv

Selected talks:

Professional memberships:


  • 2022/23: Interdimensional Logic in Combinatorial Algebraic Topology.
    (undergraduate dissertation, visiting student, Scuola Superiore IUSS).

  • 2022/23: Implementing and analysing Bulatov-Dalmau’s algorithm for CSPs with Mal’tsev constraints.
    (Part II Project (undergraduate dissertation), Computer Science, University of Cambridge).

  • 2021/22: Geometric Representations of Hom-Complexes.
    (Part II Project (undergraduate dissertation), Computer Science, University of Cambridge).



Contact information:

E-mail: firstname dot lastname at

University of Cambridge 
Department of Computer Science and Technology
Computer Laboratory
William Gates Building
15 JJ Thomson Avenue 
Cambridge CB3 0FD, UK