xuq01
3,252
reputation
1
14
18
Graduate student in mathematics, studying theoretical computer science, logic, and category theory.