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