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.
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.
Publications:

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

Dynamic Tangled Derivative Logic of Metric Spaces. With David FernándezDuque. [ArXiv]

Untangled: A Complete Dynamic Topological Logic. With David FernándezDuque. (To appear in AAAI23) [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]
Selected talks:

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).
Professional memberships:

Fellow of the Cambridge Philosophical Society (since 2021).

Member of the Association for Computing Machinery (ACM) (since 2022).
Supervising:

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