Past Member
Guillaume Brunerie
Funding provided by the Florence Gould Foundation and the National Science Foundation
From
–
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
School of Mathematics
–
Member
School of Mathematics
–
Degrees
University of Nice
Ph.D.
2016