Yoàv Montacute （モンタキュート・ヨアフ）

I am a postdoctoral researcher at the NII（国立情報学研究所).

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.

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.

Preprints

1. Game Comonads for Modal Logics.
2. Completeness of Dynamic Topological Logic for Scattered Spaces. With David Fernández-Duque.
3. A Coalgebraic Dijkstra Algorithm. With Takahiro Sanada, Kittiphon Phalakarn and Ichiro Hasuo. arXiv
4. Hybrid Logic with Empty Names. With Yuki Nishimura and Leonardo Pacheco.

Conference publications

1. Halo Semantics for Modal Logic.
   16th International Conference on Advances in Modal Logic (AiML 2026).
2. Modulation-Reaction Networks. With Leo Lobski.
   24th International Conference on Computational Methods in Systems Biology (CMSB 2026). arXiv
3. Monads and Distributive Laws in Substructural Contexts. With Soichiro Fuji, Yun Chen Tsai and Ichiro Hasuo.
   41th Annual Symposium on Logic in Computer Science (LICS 2026). arXiv
4. Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking.
   With Radu-Florin Tulcan, Rose Bohrer, Kevin Zhou, Yusuke Kawamoto and Ichiro Hasuo.
   27th International Symposium on Formal Methods (FM 2026). Proceedings arXiv
5. 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
6. Linear Arboreal Categories. With Samson Abramsky and Nihil Shah.
   40th Conference on Mathematical Foundations of Programming Semantics (MFPS 2024). Proceedings arXiv
7. Dynamic Tangled Derivative Logic of Metric Spaces. With David Fernández-Duque.
   38th Conference on Artificial Intelligence (AAAI 2024). Proceedings arXiv
8. Untangled: A Complete Dynamic Topological Logic. With David Fernández-Duque.
   37th Conference on Artificial Intelligence (AAAI 2023). Proceedings arXiv
9. Cantor Derivative Logic in Topological Dynamics (short paper).
   14th Conference on Advances in Modal Logic (AiML 2022). Booklet arXiv
10. The Pebble-Relation Comonad in Finite Model Theory. (Winner of the Kleene Award). With Nihil Shah.
    37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Proceedings arXiv
11. Dynamic Cantor Derivative Logic. With David Fernández-Duque.
    30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Proceedings arXiv

Journal publications

1. The Pebble-Relation Comonad in Finite Model Theory. With Nihil Shah.
   Logical Methods in Computer Science (LMCS), 20. Journal
2. Dynamic Cantor Derivative Logic. With David Fernández-Duque.
   Logical Methods in Computer Science (LMCS), 19. Journal

Selected talks

• RiC 2026 — Games, Coalgebras, and Resources (University College London).
• Invited talk — Reasoning about dynamical systems: from completeness to verification (Institute of Science Tokyo).
• Invited talk — The logic of space and time (University of Oxford).
• Invited talk — The logic of space and time (University College London).
• Invited talk — Towards a Decidable Logic of Dynamical Systems (Tohoku University).
• LC 2025 — Expressivity meets decidability in spatiotemporal logics (TU Wien).
• 若手数学者交流会 — 計算における位相的対称性 (AP市ヶ谷).
• CSCAT 2025 — 有限モデル理論における圏論的手法 (崇城大学).
• PPL 2025 — 関係構造上の並行ゲーム (ホテル明山荘).
• LICS 2024 — Concurrent Games over Relational Structures (Taltech).
• PPL 2024 — Untangled: A Complete Dynamic Topological Logic (Toki Messe).
• AAAI 2024 — Dynamic Tangled Derivative Logic of Metric Spaces (Vancouver Convention Center).
• Invited talk — Categorical Combinatorics and Topology (National Institute of Informatics).
• Coresources 2023 — Computational Complexity and Model Comparison Games (University of Cambridge).
• Invited talk — Logic and Dynamical Systems (University of Warsaw).
• Invited talk — Generalising Model Comparison Games (University of Edinburgh).
• AAAI 2023 — Untangled: A Complete Dynamic Topological Logic (Walter E. Washington Convention Center).
• Invited talk — Game Comonads and Categorically Motivated Combinatorics (Kyoto University).
• RiC 2022 — Everything Everywhere All in One (UCL).
• AiML 2022 — Cantor Derivative Logic in Topological Dynamics (IRISA).
• LICS 2022 — The Pebble-Relation Comonad in Finite Model Theory (Technion).
• Invited talk — Comonads in the Playground of Finite Models (University of East Anglia).
• BCTCS 2022 — The Path of Hidden Pebbles (Swansea University).
• CSL 2022 — Dynamic Cantor Derivative Logic (University of Göttingen) (Online).
• NLPIR 2019 — Location and Category Detection in Twitter (Tokushima University).

Academic service

• Reviewer in: LICS, ICALP, MFCS, IJCAR, AIML, Journal of Philosophical Logic, Review of Symbolic Logic.
• Organising and Programme Committee: SmP 2026, SmP 2024 and SmP 2023.

Academic visits

• University of Milan (June 2026).
• University of Cambridge, University College London & University of Oxford (December 2025).
• 東北大学 (October 2025).
• 鹿児島大学 (March 2025).
• 国立情報学研究所 (NII), Tokyo (Fall 2023).
• University of Warsaw (April 2023).
• University of Kyoto (December 2022).

Professional memberships

• Fellow of the Cambridge Philosophical Society (since 2021).
• Member of the Association for Computing Machinery (ACM) (since 2022).

Supervising

• 2025/26: Model Checking for Coalgebraic μ-Calculus.
  (Part II Project (undergraduate dissertation), Computer Science, University of Cambridge).
• 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

• Easter 2024: Supervisor in Artificial Intelligence (Part IB, Computer Science, University of Cambridge).
• Michaelmas 2023: Supervisor in Denotational Semantics (Part II, Computer Science, University of Cambridge).
• Easter 2023: Supervisor in Hoare Logic and Model Checking (Part II, Computer Science, University of Cambridge).
• Lent 2023: Supervisor in Computation Theory (Part IB, Computer Science, University of Cambridge).
• Michaelmas 2022: Demonstrator in Category Theory (MPhil ACS/Part III, Computer Science, University of Cambridge).
• Easter 2022: Supervisor in Complexity Theory (Part IB, Computer Science, University of Cambridge).
• Lent 2022: Supervisor in Logic and Proof (Part IB, Computer Science, University of Cambridge).
• Lent 2022: Supervisor in Quantum Computing (Part II, Computer Science, University of Cambridge).
• Michaelmas 2021: Supervisor in Algebraic Topology (Part II, Mathematical Tripos, University of Cambridge).
• Easter 2021: Supervisor in Complexity Theory (Part IB, Computer Science, University of Cambridge).
• Lent 2021: Supervisor in Logic and Proof (Part IB, Computer Science, University of Cambridge).
• Spring 2020: TA in Topology, Logic and Learning (MSc in Logic, University of Amsterdam).

Back to top ↑