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!