I am a Software Engineer with a passion for mathematics and informatics.

I am interested in Type theory. As such, Typescript and Rust are my target languages, but I have used Ruby a lot in a professional setting.

In my free time I like to play board games and go bouldering.