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.
4
answers
2
questions
~14k
people reached
 eleves.ens.fr/home/brunerie
 Member for 5 years, 7 months
 24 profile views
 Last seen Jun 19 at 18:54
Badges (12)
Gold
—

Silver
2
Rarest

Bronze
10
Rarest
