I am a passionate computer scientist and a (functional) programmer born in Bratislava (Slovakia) based in Gothenburg (Sweden). I’m a grad. student of CS @ Chalmers. My interests include (but are not limited to) linguistics, design, teaching, and, obviously, hiking (hence this theme!). At the moment I enjoy typed programming and principles from maths for programming, such as category theory or dependent types.

“The most effective debugging tool is still careful thought, coupled with judiciously placed print statements.” ~ Brian Kernighan

This website is a personal showcase of (sometimes random) things. I write a lot—academic, essays, and much else—some of which may end up here.

I used to (and, occasionally, still do) edit videos and various graphics, and created digital content; I’m also learning photography and music production at this moment.

Follow my socials to get in touch.