$ cat hello.md

My name is Niklas Gruhn.

I'm a software engineer based in Germany with a degree in computer science. My roots are in web development but today my main interests are programming languages and verification. Specifically:

• functional programming
• logic programming
• type theory
• formal methods

Check out my stuff on GitHub or send me a message niklas@gruhn.me.

Cheers!