Department of Computer Science and Technology

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.

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ández-Duque. (To appear in AAAI-23) [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

Selected talks:

Professional memberships

Supervising:

  • Michaelmas 2022 - Easter 2023: Implementing and analysing Bulatov-Dalmau’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 Hom-Complexes.
    (Part II Project (undergraduate dissertation), Computer Science, University of Cambridge).

Teaching:

 


Contact information:

E-mail: firstname dot lastname at cl.cam.ac.uk

University of Cambridge 
Department of Computer Science and Technology
Computer Laboratory
William Gates Building
15 JJ Thomson Avenue 
Cambridge CB3 0FD, UK

Profiles: