Peter Lefanu Lumsdaine

Not registered as user yet

Name: Peter Lefanu Lumsdaine

Country: Sweden

Affiliation: Stockholm University

Personal website:

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


FOSSACS 2019Committee Member in Program Committee within the FOSSACS 2019-track
FSCD 2017Author of Displayed categories within the FSCD 2017-track
CPP 2017Author of The HoTT library: a formalization of homotopy type theory in Coq within the CPP-track