5,624 reputation
1 7 31


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

Top Tags (91)

Score 247
Posts 111
Posts % 60
Score 59
Posts 19
Score 57
Posts 8
Score 44
Posts 20
Score 37
Posts 16
Score 36
Posts 17

Top Posts (184) All Questions Answers | Votes Newest

View all questions and answers

Badges (39)

Gold 1


Silver 7


Bronze 31