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