Lumsdaine, Peter LeFanu
[M] School of Mathematics
Field of Study: Categorical Logic and Formalization of Mathematics
Research Description: Peter Lumsdaine’s main work this year is in Voevodsky’s univalent foundations group, on the formalization and proof theory of homotopy type theory. Other interests include higher category theory, traditional constructive logic, and categorical approaches to quantum computing.
Home Institution: Institute for Advanced Study
Funding provided by the National Science Foundation
| Type | Affiliation | Start Date | End Date |
|---|---|---|---|
| [M] | Math | 8/31/2012 | current |
| Degree | Year | Institution |
|---|---|---|
| Ph.D. | 2010 | Carnegie Mellon |