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.
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. (to appear in LICS 2024)
-
Linear Arboreal Categories. With Samson Abramsky and Nihil Shah. [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] -
Dyanmic 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. (to appear in LMCS)
-
Dyanmic Cantor Derivative Logic. With David Fernández-Duque.
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 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, 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 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:
-
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).
