Research

I'm a mathematician turned computer scientist, and I currently work on the intersection of logic and computer science. I enjoy working on the model theory of non-normal modal logics, in particular intuitionistic modal logic, duality theory, bisimulations, and generalisations using coalgebraic and dialgebraic logic.