4,820 reputation
1 6 29

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).

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...

Top Tags (87)

Score 213
Posts 91
Posts % 56
Score 52
Posts 15
Score 36
Posts 19
Score 33
Posts 15
Score 30
Posts 16
Score 29
Posts 15

Top Posts (162) All Questions Answers | Votes Newest

View all questions and answers

Badges (36)

Gold 1

Rarest

Silver 6

Rarest

Bronze 29

Rarest