I am a computer scientist mostly working with Coq and compilers and LLVM these days. I like functional programming and Haskell and all that jazz, but I still really love programming in lower level programming languages like C.

On this website I have a humble little blog. I’m currently pursuing a PhD, so it’s a little hard to update it, but if you subscribe to one of the RSS / Atom feeds you’ll maybe see a post every so often if you’re lucky :). Most likely the posts will have to do with Haskell, programming, sysadmin stuff, maybe some math, and maybe some computer graphics. If you’re reading this you’ll probably have a better idea of what’s going on with the blog than me now :).