daniel gratzer
133
reputation
7
assistant professor at Aarhus University. interested in (categorical & homotopical) type theory.