Bio
Yoàv is a PhD student in logic, algorithms and complexity at the University of Cambridge. His research is in mathematical logic and lies at the intersection of the two seemingly distant disciplines of category theory and finite model theory. In addition, he explores logics of dynamical systems and their various properties.
Research interests
During his time at the Turing, Yoàv aims to expand his previous work on logic for topological dynamics to the realm of viable applications. This is in order to establish efficient methods for reasoning about the relationship between space and time. This could then be used in different applications such as the analysis of space exploration and behaviours of multi-agent systems.