Ph.D. Student at Edinburgh working on higher category theory and arithmetic topology.
E-mail (replace [*] with @): harry.gindi [*] ed.ac.edu
In-progress (and abandoned) papers at http://github.com/fpqc