### From OntologPSMW

Spencer Breiner graduated in 2013 with a Ph.D. from Carnegie Mellon University where he studied a branch of mathematics called category theory and its applications in formal logic and type theory. Prior to that he received a B.A. in mathematics from the University of California, Berkeley. He recently joined the staff of the National Institute of Standards and Technology as a post-doc, where he studies applications of category theory to problems in engineering and design.
(1A)

See the presentation by

**Spencer Breiner**and Eswaran Subrahmanian made for the Ontology Summit 2015 on*"Category Theory for Modular Design: An IoT Example"*at: http://ontolog-02.cim3.net/wiki/ConferenceCall_2015_03_12 (1B)