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 researcher at the NII (国立情報学研究所).

News: I have been awarded the JST ACT-X research grant for the project titled AIにおける対称性:次世代AIのための組合せ位相的方法, covering the period 2024–2027.

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

Research grants:

  • JST ACT-X. AIにおける対称性:次世代AIのための組合せ位相的方法. 2024-2027.

Conference publications:

  • Concurrent Games over Relational Structures: The Origin of Game Comonads. With Glynn Winskel.
    39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024).[Proceedings][ArXiv]

  • Linear Arboreal Categories. With Samson Abramsky and Nihil Shah.
    Proceedings of the 40th Conference on Mathematical Foundations of Programming Semantics (MFPS 2024).[Proceedings][ArXiv]

  • Dynamic Tangled Derivative Logic of Metric Spaces. With David Fernández-Duque.
    38th Conference on Artificial Intelligence (AAAI 2024). [Proceedings] [ArXiv]

  • Untangled: A Complete Dynamic Topological Logic. With David Fernández-Duque.
    37th Conference on Artificial Intelligence (AAAI 2023). [Proceedings][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]

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

Journal publications:

  • The Pebble-Relation Comonad in Finite Model Theory. With Nihil Shah.
    Logical Methods in Computer Science (LMCS), 20. [Journal]

  • Dynamic Cantor Derivative Logic. With David Fernández-Duque.
    Logical Methods in Computer Science (LMCS), 19. [Journal]

Selected talks:

Academic service:

Academic visits:

  • 鹿児島大学 (March 2025).

  • 国立情報学研究所 (NII), Tokyo (Fall 2023).

  • University of Warsaw (April 2023).

  • University of Kyoto (December 2022).

Professional memberships:

Supervising:

  • 2024/25: Generalised Sokoban Algorithms.
    (Part II Project (undergraduate dissertation), Computer Science, University of Cambridge).

  • 2023/24: Randomised Matching Algorithms.
    (Part II Project (undergraduate dissertation), Computer Science, University of Cambridge).

  • 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).

Teaching:

 


Contact information:

E-mail: firstname dot lastname at cl.cam.ac.uk

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

Data bases:

Profiles: