Pece's user avatar
Pece's user avatar
Pece's user avatar
Pece
  • Member for 8 years, 6 months
  • Last seen more than a month ago
Stats
311
reputation
2k
reached
1
answer
2
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).

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

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
question
14
Nov 21, 2016