10,331
reputation
1
16
43

Pece

Graduate student in mathematics (Master 2 at Université Pierre et Marie Curie) and theoretical computer science (Parisian Master of Reasearch in Computer Science at Université Paris Diderot). Currently doing a PhD in homotopical algebra in relation with foundation of computer science.

Interested in category theory, algebraic topology, algebraic geometry, model theory. Curious about cryptography, homotopy of type theory, categorical semantics of programming languages, and the daily use of Coq/Agda/whatever in mathematics...

235
answers
38
questions
~165k
people reached

Top tags (120)

Score 486
Posts 194
Posts % 71
Score 108
Posts 28
Score 86
Posts 24
Score 76
Posts 14
Score 48
Posts 19
Score 46
Posts 17

Top posts (273)

View all questions and answers

Badges (60)

Gold

1

Rarest

Silver

16

Rarest

Bronze

43

Rarest