'My research interests revolve around the intersection of Category Theory and Modal Logic. I am interested in relating the two at an abstract level, investigating whether techniques and results can be transferred from one to the other, and in specific applications, such as topics in Theoretical Computer Science, Quantum Theory and formal models of social phenomena.'
Programme
The ILLC PhD programme, organised by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, is a four-year programme designed to support and guide PhD candidates in their track to become highly qualified scientific researchers in the areas described by the institute's research mission. PhD candidates are given the opportunity to benefit from a rich scientific programme as well as a tailor-made transferable-skills programme.
