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.