Current Member

Guillaume Brunerie

Funding provided by the Florence Gould Foundation and the National Science Foundation
Affiliation
Mathematics
Field of Study
Homotopy Type Theory
Home Institution
Institute for Advanced Study

Guillaume Brunerie is working on homotopy theory in the setting of univalent foundations, using higher inductive types and the univalence axiom to state and prove theorems of homotopy theory. He is also interested in other aspects of homotopy type theory, such as cubical type theory and formalization in Agda.

Dates at IAS
Member
  • Mathematics
9/2017current
Member
  • Mathematics
9/20165/2017
Degrees
University of Nice Ph.D., 2016