From OntologPSMW

Jump to: navigation, search
[ ]

Spencer Breiner     (1)

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)