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, algebraictopology, dynamical systems, graph theory.
I am a PhD student under the supervision of Professor Anuj Dawar.
News: During autumn 2023 (Michaelmas), I will be visiting the National Institute of Informatics (NII) in Tokyo, Japan.
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.
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) 
Linear Arboreal Categories. With Samson Abramsky and Nihil Shah.
Proceedings of the 40th Conference on Mathematical Foundations of Programming Semantics (MFPS 2024). [ArXiv] 
Dynamic Tangled Derivative Logic of Metric Spaces. With David FernándezDuque.
38th Conference on Artificial Intelligence (AAAI 2024). [Proceedings] [ArXiv] 
Untangled: A Complete Dynamic Topological Logic. With David FernándezDuque.
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 PebbleRelation 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ándezDuque.
30th EACSL Annual Conference on Computer Science Logic (CSL 2022). [Proceedings][ArXiv]
Journal publications:

The PebbleRelation Comonad in Finite Model Theory. With Nihil Shah. (to appear in LMCS)

Dyanmic Cantor Derivative Logic. With David FernándezDuque.
Logical Methods in Computer Science (LMCS), 19. [Journal]
Selected talks:

AAAI 2024  Dynamic Tangled Derivative Logic of Metric Spaces (Vancouver Convention Center).

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

AiML 2022  Cantor Derivative Logic in Topological Dynamics (IRISA).

LICS 2022  The PebbleRelation 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, AIML, ICALP, MFCS, Journal of Philosophical Logic, Review of Symbolic Logic.

Organising and Programme Committee: Structure meets Power 2024, Structure meets Power 2023.
Academic visits:

National Institute of Informatics (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:

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 BulatovDalmau’s algorithm for CSPs with Mal’tsev constraints.
(Part II Project (undergraduate dissertation), Computer Science, University of Cambridge). 
2021/22: Geometric Representations of HomComplexes.
(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/Part II, Computer Science, University of Cambridge).

Easter 2022: Supervisor in Complexity Theory (Part IB, Computer Science, University of Cambridge).

Lent 2022: Supervisor in Logic and Set Theory (Part II, Mathematical Tripos, 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).