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 hybrid 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. During my M.S., I worked with Misha Gromov on the mathematical foundations of AI.
Before robots, I studied art history at Yale, where I wrote my senior thesis on the sublime.
I am 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.