About me

I’m a computer science student at RWTH Aachen, Germany with interests in programming language theory, math, functional programming, assisted theorem proving and many other things.

Previously I worked at Lehrstuhl D fuer Mathematik as a linear algebra TA, and currently I’m working at StriveWire GmbH as a backend developer and at Dan & L GmbH as an IT manager.

In my free time I’m doing some work on the Glasgow Haskell Compiler

This site is generated using Hakyll, a static site generator written in Haskell.