Member for 9 years, 7 months
Last seen more than 6 years ago
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...
This user doesn’t have any gold badges yet.
YearlingOct 12, 2018
AutobiographerJun 14, 2015
This user hasn’t posted yet.
Top network postsView all network posts