Guillaume Brunerie
top 12% overall
I’m a postdoc 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
Communities (15)
Top network posts
Badges (44)
Gold
—
Silver
13
Rarest

Apr 10 '12

Nov 30 '10

Oct 13 '16
Bronze
31
Rarest

Oct 5 '13

Nov 16 '10

Dec 5 '10