$ cat hello.md

My name is Niklas Gruhn.

I'm a graduate computer science student with roots in web development. I'm still mainly doing front end engineering but my main interests have shifted towards programming paradigms and their deep foundations. I read a lot on:

• functional programming
• logic programming
• computability theory
• type theory
• formal verification

Apart from my professional interests I'm a passionate science and rationality advocate. I eat lots of pretzels. And when the pandemic is finally over I will go back to having epic parties!

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

Cheers!