Student in Tübingen, interested in programming languages and everything related.
At Tübingen PL Center I work on abstract machines and everything related to the Effekt programming language.
In my freetime I work on more minimal systems, mainly variations of the lambda calculus. I'm also a co-organizer of the bi-monthly mini conference Tü.λ.