HI, I’M ELISABETH.

I am a software developer specialising in functional programming, with a PhD in homotopy type theory. When I am not studying, I enjoy trying to balance upside down, reading and trying my hand at different crafts (though not all at the same time).