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. 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 am currently organizing a workshop on applied category theory (spring 2018) with Brendan Fong, Bob Coecke, John Baez, Aleks Kissinger, and Martha Lewis.
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.