David I. Spivak

Massachusetts Institute of Technology, Decision Systems (United States), Moscow Institute of Thermal Technology

Papers

Total Citations

H-Index

About

David I. Spivak is a mathematician and researcher whose work sits at the intersection of applied category theory, dynamical systems, and complex system modeling. His research focuses on developing rigorous compositional frameworks — mathematical structures that allow complex systems to be built from simpler, well-understood components — with applications ranging from robotics and autonomous systems to event-based computing. Spivak's most recognized contribution explores how coupled dynamical systems compose according to matrix arithmetic, offering a powerful lens through which open systems — those that receive inputs, update internal states, and produce outputs — can be systematically interconnected in series, parallel, or feedback configurations. This work has garnered 13 citations and laid groundwork for understanding machines at scales from neurons to robots. His development of a sheaf-theoretic compositional framework for event-based systems further demonstrates his commitment to unifying diverse system types under elegant mathematical formalism, accumulating over a dozen citations across related publications. Beyond pure theory, Spivak has contributed to safety-critical applications, including methodologies for monitoring and diagnosing perception systems in autonomous vehicles, reflecting his interest in grounding abstract mathematics in real-world engineering challenges. His body of work makes him a notable voice in the growing field of applied category theory.