Guillaume Brunerie
I’m a PhD student in homotopy type theory in the university of Nice Sophia Antipolis. I’m particularly interested in topology (algebraic topology, differential geometry), logic (set theory, theoretical computer science), category theory and homotopy type theory.
16
answers
24
questions
~35k
people reached
 Paris, France
 eleves.ens.fr/home/brunerie
 Member for 5 years, 9 months
 1,622 profile views
 Last seen Jul 18 at 9:21
Top Posts (40) All Questions Answers  Votes Newest
Badges (37)
Gold
—

Silver
8
Rarest

Bronze
29
Rarest
