David I. Spivak

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.

Role: 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
[] website
[] dblp
[] arxiv