Hey, I'm Tim Süberkrüb.

I have a passion for computer science, logic, and math, and I enjoy exploring these areas through the lens of computer software. I develop software professionally, tinker with it for fun, and take pleasure in contributing to free and open-source software projects. My main areas of interest include programming language design, type theory, and formal methods.

Among the technologies I've encountered, I especially enjoy working with the Rust programming language and the interactive theorem prover Coq.

If you are interested in talking to me, feel free to send me a message. You can find my public work on GitHub and ORCID.