1,610 reputation
8 28

Guillaume Brunerie

I’m a PhD student in homotopy type theory in the university of Nice Sophia Antipolis. I’m particularly interested in topology (algebraic topology, differential geometry), logic (set theory, theoretical computer science), category theory and homotopy type theory.

Top Tags (39)

Score 16
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 (36)

Gold
Silver 8

Rarest

Bronze 28

Rarest