Mathematician working in applied topos theory. Also interested in functional programming.
-
University of Padova
- Augsburg, Germany
- https://www.ingo-blechschmidt.eu/
Earned achievements
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Starstruck
Starstruck
Loading