Hey, I'm Tim Süberkrüb.
PhD student at University of Tübingen · Programming languages and type theory
I'm especially interested in dependently typed and substructural systems. One of the projects I'm working on is Polarity, a research language with a symmetric treatment of dependent data and codata types.
I have professional software engineering experience, and take pleasure in contributing to free and open-source software projects.