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