2,853
reputation
13
31

Guillaume Brunerie
top 12% overall

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
~50k
people reached
  • Princeton, NJ, Estados Unidos
  • Member for 9 years, 7 months
  • 1,772 profile views
  • Last seen Dec 10 '19 at 15:39

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 (44)

Gold

Silver

13

Rarest

Bronze

31

Rarest