$ cat hello.md

My name is Niklas Gruhn.

I'm a graduate computer science student with roots in web development. 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.

Apart from my professional interests I'm a passionate science and rationality advocate. I also love pretzels and epic parties!

Cheers!