Master's student, Cambridge Uni, interested in logic, category theory, combinatorics and algebra.