David is helping us to achieve compositionality for Petri nets via high-level categorical tools.
Education: Ph.D. Mathematics, University of California
Expertise: Category theory, theory of compositionality, open networks
Location: Boston, United States
Publications: DBLP Arxiv
David Spivak is a research scientist in the mathematics department at MIT. His current research is on Categorical Informatics, i.e. using category theory to study information as it is used in the world. Previous research subjects include Derived Manifolds, Infinity categories (a.k.a. quasi-categories), and Physics.