I received my bachelors' degree in Cognitive Science at the University of Edinburgh, where I focused primarily on pragmatics and cognitive neuroscience. I then switched tracks and completed the Master of Logic at the University of Amsterdam, where I wrote my thesis on the coalgebraic semantics of intuitionistic modal logic. I am now doing my PhD on coalgebraic modal type theory, working towards developing a framework of general type theories for coalgebraic modal logic.