Hi, I’m Elisabeth.

I am a PhD student at the University of Bergen. Topics that interest me are: Type Theory (especially Homotopy Type Theory) and Category Theory (including Higher Category Theory). When I am not studying, I enjoy trying to balance upside down, reading and playing music (though not all at the same time).