Computer Science
Profile Activity
Network profile
311
reputation
1
6

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

Communities (16)

Top network posts

Top tags (7)

Score 0
Posts 2
Posts % 67
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (3)

All Questions Answers
Votes Newest
14 Memoization without array Nov 21 '16
7 Formalizing basic category theory in Coq May 15 '15
0 Formalizing basic category theory in Coq May 17 '15

Badges (7)

Gold

—

Silver

1

Rarest

Bronze

6

Rarest