2,913
reputation
15
33

Guillaume Brunerie

I’m a post-doc in homotopy type theory in the Institute for Advanced Study, Princeton, NJ. 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
~55k
people reached
  • Princeton, NJ, Estados Unidos
  • Member for 10 years, 8 months
  • 1,797 profile views
  • Last seen Jun 10 at 15:25

Top tags (40)

Score 18
Posts 10
Posts % 25
Score 11
Posts 3
Score 11
Posts 2
Score 8
Posts 5
Score 2
Posts 10
Score 0
Posts 6

Top posts (40)

View all questions and answers

Badges (48)

Gold

Silver

15

Rarest

Bronze

33

Rarest