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...
1
answer
2
questions
~2k
people reached
-
Member for 5 years, 9 months
-
6 profile views
-
Last seen Feb 28 at 22:16
Communities (16)
Top network posts
Badges (7)
Gold
—
Silver
1
Rarest
-
Feb 26 '17
Bronze
6
Rarest
-
Nov 21 '16
-
Jan 31 '18
-
May 15 '15