From OntologPSMW

(Difference between revisions)
Jump to: navigation, search
(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

[ ]

[edit] 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)