Skip to main content
Pece's user avatar
Pece's user avatar
Pece's user avatar
Pece
  • Member for 11 years, 3 months
  • Last seen this week
Stats
11,644
reputation
261k
reached
237
answers
39
questions
Loading…
About

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

1
gold badge
20
silver badges
50
bronze badges
552
Score
198
Posts
72
Posts %
127
Score
28
Posts
10
Posts %
108
Score
23
Posts
8
Posts %
90
Score
15
Posts
5
Posts %
58
Score
20
Posts
7
Posts %
55
Score
17
Posts
6
Posts %
Top posts
View all questions and answers