Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
1,718
reputation
12
31

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
~45k
people reached
  • Princeton, NJ, Estados Unidos
  • Member for 8 years, 6 months
  • 1,745 profile views
  • Last seen May 4 '17 at 18:08

Top Tags (41)

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) All Questions Answers | Votes Newest

View all questions and answers

Badges (43)

Gold

Silver

12

Rarest

Bronze

31

Rarest