### From OntologPSMW

(Difference between revisions)

(posted: biosketch for SpencerBreiner) |
(Fix PurpleMediaWiki references) |
||

Line 3: | Line 3: | ||

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. | 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. | ||

− | 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 | + | See the presentation by [[SpencerBreiner|Spencer Breiner]] and [[EswaranSubrahmanian|Eswaran Subrahmanian]] made for the [[OntologySummit2015|Ontology Summit 2015]] on ''"Category Theory for Modular Design: An IoT Example"'' at: http://ontolog-02.cim3.net/wiki/ConferenceCall_2015_03_12 |

## Latest revision as of 04:41, 9 January 2016

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)