From OntologPSMW

Revision as of 10:42, 12 March 2015 by PeterYim (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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 SpencerBreiner and EswaranSubrahmanian made for the OntologySummit2015 on "Category Theory for Modular Design: An IoT Example" at: http://ontolog-02.cim3.net/wiki/ConferenceCall_2015_03_12     (1B)