HI, I’M ELISABETH.

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