I study mathematics at UC Berkeley. I am interested in representation theory, in particular its connections with algebra, geometry, and topology, as well as mathematical logic and formal methods. I also work on formalizing math in Lean.

I co-founded Steeped, a tea app that reached over 500,000 downloads, built game infrastructure at Spark Universe, and taught computer science at DHBW Karlsruhe. You can reach me at hello@janek.lol.