Welcome to my personal website!

I’m Fabian, a recently graduated mathematics master student at Stockholm University and KTH Royal Institute of Technology. I’m interested in all kinds of topics in abstract maths and computer science, mostly in type theory, constructive foundations, proof assistants, category theory and programming language theory. In my free time, I also like to do some recreational programming: I particularly enjoy working in languages with a strong type system that allow me to build safe and efficient code. Currently I program mostly in Haskell and Rust, though I also enjoyed programming in C++ before.

If you want to learn more about me, check out my profiles on GitHub as well as Codeberg and feel free to reach out to me on LinkedIn.

My website is still a bit empty. While I’m working hard to fill in the content, please have a look at my Publications or at the About page to learn more about how this website was built.