193
reputation
4

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.

0
answers
1
question
~311
people reached

Top tags (4)

Score 0
Posts 1
Posts % 100
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1)

Badges (4)

Gold

Silver

Bronze

4

Rarest