Episode #125 of the Stack Overflow podcast is here. We talk Tilde Club and mechanical keyboards. Listen now
111
reputation
3

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
2
questions
~100
people reached

Top tags (4)

Score 0
Posts 1
Posts % 50
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (3)

Gold

Silver

Bronze

3

Rarest