I'm a software engineer with a Ph.D. in mathematics. I'm interested in high performance computing, computer graphics, system programming languages and functional programming.

I graduated at the University of Münster, where I did research in homotopy theory and ∞-category theory.