Name:Daniel Gratzer

Bio:

I am a PhD student studying under Lars Birkedal. My interests are predominately focused around using types to simplify mathematics and to design program logics.

Country:Denmark

Affiliation:Aarhus University

Research interests:Type Theory, Semantics, Program Logics