Past Member

Guillaume Brunerie

Affiliation
Mathematics
Field of Study
Homotopy Type Theory
From 9/2017 – 4/2018:

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/20174/2018
Member
  • Mathematics
9/20165/2017
Degrees
University of Nice Ph.D., 2016