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:

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

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:

Michaelmas 2022  Easter 2023: Implementing and analysing BulatovDalmau’s algorithm for CSPs with Mal’tsev constraints.
(Part II Project (undergraduate dissertation), Computer Science, University of Cambridge). 
Michaelmas 2021  Easter 2022: Geometric Representations of HomComplexes.
(Part II Project (undergraduate dissertation), Computer Science, University of Cambridge).
Teaching:

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