Hi, my name is Niels. I am a computer science PhD student at the University of Kiel.

I like functional programming and the formal proof assistant Coq. My research interests include efficient representations of (scoped) effects in Haskell and modeling such systems in Coq.

Besides PL related things, I enjoy tinkering with all sorts of electronics. Microprocessors? Great. Combined with motors? Even better. A 250°C hot-end strapped to it? Awesome!
3D printing and CAD are my favorite activities when I feel like designing a useful or decorative object. Need anything 3D printed? I can probably help!

I like to take my camera with me while exploring the world. Feel free to have a look at some of my favorite photos here.