David I. Spivak

David I. Spivak has spent the last 14 years at the University of Oregon, the Massachusetts Institute of Technology, and the Topos Institute. He uses category theory to articulate the compositional structure in various domains—from dynamical systems to databases—in a variety of interrelated projects for NASA, the National Science Foundation, and the U.S Departments of Defense and Commerce. Spivak has written three books on applications of category theory.