Mitchell Buckley
118
reputation
6
Mathematician.
Interested in (higher) category theory, programming languages, abstract algebra, formalised mathematics.
Runner up: Coq-fight 2015, Sydney.