Stats
11,494
reputation
919
reached
0
answers
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). 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...
Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
-
Yearling
× 10Apr 21
5
bronze badges
-
CustodianJun 25, 2014
-
Nice QuestionFeb 26
-
StudentApr 26, 2013
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top network posts
View all network posts