Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
8,355
reputation
1
12
41

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

219
answers
38
questions
~132k
people reached

Top Tags (118)

Score 411
Posts 178
Posts % 69
Score 90
Posts 28
Score 74
Posts 24
Score 72
Posts 13
Score 45
Posts 19
Score 42
Posts 17

Top Posts (257) All Questions Answers | Votes Newest

View all questions and answers

Badges (54)

Gold

1

Rarest

Silver

12

Rarest

Bronze

41

Rarest