## David

### 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.