Yoàv Montacute

Yoàv Montacute is a PhD student at the University of Cambridge's Department of Computer Science and Technology, affiliated with St John's College. His research focuses on mathematical logic, finite model theory, category theory, topology, and their intersections with theoretical computer science. He has been awarded the JST ACT-X grant (2024–2027) for research on symmetry in AI and received the Kleene Award (2022) for outstanding work in logic. Montacute holds a MSc in Logic from the University of Amsterdam and a PhD Premium Studentship from Cambridge.

• Education: PhD candidate (2020–present), MSc Logic (2018–2020)
• Grants: JST ACT-X, Alan Turing Enrichment Award

His research interests span game comonads, dynamic topological logics, and categorical methods in finite model theory. He has published in top venues like LICS, AAAI, and CSL, with contributions to logic, topology, and computational complexity.

• Awards: Wiseman Award (2023), ACM Kleene Award (2022)
• Teaching: Supervised undergraduate projects on AI, complexity theory, and logic

Montacute collaborates with institutions like the National Institute of Informatics (NII), University of Warsaw, and Kyoto University, and serves on program committees for Structure meets Power conferences.