Guillaume Brunerie headshot
Past Member

Guillaume Brunerie

Funding provided by the Florence Gould Foundation and the National Science Foundation

Affiliation

Mathematics

Field of Study

Homotopy Type Theory
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