About
Hi, my name is Moritz Kiefer and I am a computer science student.
Interests
I am mostly interested in functional programming, especially Haskell, and formal verification. A bit of math here and there is also great.
Get in touch
You can find me on various social platforms as cocreature.