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