Hi, I'm Josh.
I study mathematics at the University of Bonn, with my feet in both the pure and the applied. The things occupying me at the moment include mathematical logic and type theory on the one hand; data science, machine learning and natural language processing on the other.
In my spare time I code (it's kind of empty at the moment), trace (I particularly like to wall-run) and sing (passably).
Feel free to poke around here, or find me online elsewhere at: