I am a computer scientist and mathematician. I'm interested in applying programming language theory and compiler engineering to express, run, and optimise code for novel models of computation such as AI accelerators or quantum computers. On the mathematics side, I research the geometry of higher-dimensional categories.

Feel free to contact me anytime at lukas@heidemann.me.