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.