Name:Peter Lefanu Lumsdaine

Country:Sweden

Affiliation:Stockholm University

Research interests: category theory and logic, including homotopy type theory, higher category theory, topos theory, and constructive mathematics.