David is helping us to achieve compositionality for Petri nets via high-level categorical tools.

Name: David I. Spivak
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.