I am currently a doctoral student in computer science at Oxford studying under Samson Abramsky and Bob Coecke; previously, I completed my master’s in pure math at the Courant Institute at NYU, where my research involved applications of geometry and topology to artificial intelligence. For my thesis, I’ve been exploring different ways of applying category theory and sheaf theory to computational learning theory, from work on the sample compression conjecture to diversity measures in boosting. My interests include category theory, robotics, stable homotopy, computational learning theory, sheaf theory, and art history.
Recently, I’ve been working with David Spivak and Andrea Censi on category theory for co-design problems, a broad class of optimization problems. I also work with Sokwoo Rhee and other members of NIST on indicator frameworks for smart cities. I also work with economists and game developers on developing agent-based economic simulations within the Seed MMO.
I am currently organizing a workshop on applied category theory (spring 2018) with Brendan Fong, Bob Coecke, John Baez, Aleks Kissinger, and Martha Lewis. As part of the workshop’s activities, I am participating in the ACT Seminar 2018 in Pawel Sobocinski‘s group.
I am currently working with many people to launch Compositionality, a new peer-reviewed, open-access academic journal dedicated to compositional ideas in science and mathematics, especially those with a categorical origin.
Previously, as part of an NSF fellowship program, I worked with David Spivak and his lab at MIT on applied category theory, specifically on categorical approaches to data integration and to complex systems modeling. While at MIT, I also co-founded a “living lab” with the City of Boston and three MIT startups called the Local Sense Lab.
Before robots, I studied art history at Yale (technically, I majored in EP&E and humanities), where I wrote my senior thesis on the sublime.
I am currently collecting my thoughts and questions into a summary of my research (the first version was my master’s thesis); any suggestions would be greatly appreciated! The paper is modeled on this paper by Andreas Holmstrom.