PhD candidate at Dalhousie University under supervision of Theo Johnson-Freyd. I work mostly in higher category theory, with emphasis in (∞,∞)-categories and where they meet topological physics. I also have a strong side interest in formalized mathematics, as well as mathematical foundations of machine learning and expanding useful applications of advanced mathematics to other fields of science.