Ik heb mijn bachelor in cognitiewetenschappen behaald aan de Universiteit van Edinburgh, waar ik me voornamelijk heb gericht op pragmatiek en cognitieve neurowetenschappen. Daarna ben ik van studierichting veranderd en heb ik de master Logic aan de Universiteit van Amsterdam afgerond, waar ik mijn scriptie heb geschreven over de coalgebraïsche semantiek van intuïtionistische modale logica. Momenteel ben ik bezig met mijn doctoraat over coalgebraïsche modale typetheorie, waarbij ik werk aan de ontwikkeling van een raamwerk van algemene typetheorieën voor coalgebraïsche modale logica.