I am a PhD candidate at the Institute for Computing and Information Sciences at Raboud University under the supervision of Jurriaan Rot. My research interests revolve around category theory, (homotopy) type theory, logic, semantics of programming languages, and formalisation of mathematics. At the moment, I am applying categorical methods for the study of automata learning and conformance testing.