Name:Andrej Bauer

Country:Slovenia

Affiliation:University of Ljubljana

Research interests:type theory, homotopy type theory, category theory, logic, programming languages, constructive mathematics