My interests are in categorical logic, type theories and foundations.
I am a PhD-candidate of Ieke Moerdijk in Nijmegen