$ 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:

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


Cheers!