http://ontologforum.org/index.php?title=SpencerBreiner&feed=atom&action=historySpencerBreiner - Revision history2022-05-22T14:10:45ZRevision history for this page on the wikiMediaWiki 1.19.2http://ontologforum.org/index.php?title=SpencerBreiner&diff=22344&oldid=prevKennethBaclawski: Fix PurpleMediaWiki references2016-01-09T08:41:27Z<p>Fix PurpleMediaWiki references</p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 08:41, 9 January 2016</td>
</tr><tr><td colspan="2" class="diff-lineno">Line 3:</td>
<td colspan="2" class="diff-lineno">Line 3:</td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>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.  </div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>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.  </div></td></tr>
<tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr>
<tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>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</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>See the presentation by <ins class="diffchange diffchange-inline">[[</ins>SpencerBreiner<ins class="diffchange diffchange-inline">|Spencer Breiner]] </ins>and <ins class="diffchange diffchange-inline">[[</ins>EswaranSubrahmanian<ins class="diffchange diffchange-inline">|Eswaran Subrahmanian]] </ins>made for the <ins class="diffchange diffchange-inline">[[</ins>OntologySummit2015<ins class="diffchange diffchange-inline">|Ontology Summit 2015]] </ins>on ''"Category Theory for Modular Design: An IoT Example"'' at: http://ontolog-02.cim3.net/wiki/ConferenceCall_2015_03_12</div></td></tr>
</table>KennethBaclawskihttp://ontologforum.org/index.php?title=SpencerBreiner&diff=15569&oldid=prevPeterYim: posted: biosketch for SpencerBreiner2015-03-12T14:42:24Z<p>posted: biosketch for SpencerBreiner</p>
<p><b>New page</b></p><div>= Spencer Breiner =<br />
<br />
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. <br />
<br />
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</div>PeterYim