25,161
edits
Changes
Created page with "'''Home * People * Mike Browne''' '''Michael C. (Mike) Browne''',<br/> an American electrical engineer and computer scientist. He holds a Ph.D. in 1989 from..."
'''[[Main Page|Home]] * [[People]] * Mike Browne'''
'''Michael C. (Mike) Browne''',<br/>
an American electrical engineer and computer scientist. He holds a Ph.D. in 1989 from [[Carnegie Mellon University]] on [https://en.wikipedia.org/wiki/Formal_verification formal verification] and [https://en.wikipedia.org/wiki/Model_checking model checking] using [https://en.wikipedia.org/wiki/Temporal_logic temporal logic]
under [[Mathematician#EMClarke|Edmund M. Clarke]]. At the Carnegie Mellon, he was further member of the [[Deep Thought]] team, where he was responsible for Deep Thought's [[Opening Book|opening book]],
and later worked with [[Andreas Nowatzyk]] et al. in the field of [https://en.wikipedia.org/wiki/Parallel_computing parallel computing] concerning [[Memory#Shared|shared memory]] and [[Memory#Cache|cache]] [https://en.wikipedia.org/wiki/Cache_coherence coherence].
=Photos=
[[FILE:deep-thought-team-1988.102645336.hsu.jpg|none|border|text-bottom|640px|link=http://www.computerhistory.org/chess/stl-430b9bbd52f71/]]
[[Murray Campbell]], [[Feng-hsiung Hsu]], [[Thomas Anantharaman]], [[Mike Browne]] and [[Andreas Nowatzyk]],<br/>
after winning the [[Edward Fredkin#Prize|Fredkin Intermediate Prize]] for Deep Thought's Grandmaster-level performance. <ref>[http://www.computerhistory.org/chess/stl-430b9bbd52f71/ Deep Thought team with Fredkin Intermediate Prize] 1988, Gift of [[Feng-hsiung Hsu]] hosted by [[The Computer History Museum]]</ref>
=Selected Publications=
<ref>[http://portal.acm.org/author_page.cfm?id=81100010224 Mike Browne's Publications at ACM Portal]</ref> <ref>[https://dblp.uni-trier.de/pers/hd/b/Browne:Michael_C= dblp: Michael C. Browne]</ref>
==1986 ...==
* [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]], [[Mike Browne|Michael Browne]] ('''1986'''). ''Reasoning About Networks With Many Identical Finite-State Processes''. [https://dblp.uni-trier.de/db/conf/podc/podc86.html PODC 1986]
* [[Mike Browne|Michael Browne]] ('''1986'''). ''An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic''. [https://dblp.uni-trier.de/db/conf/lics/lics86.html LICS 1986] <ref>[https://en.wikipedia.org/wiki/Temporal_logic Temporal logic from Wikipedia]</ref>
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#DLDill|David L. Dill]], [[Mathematician#BMishra|Bud Mishra]] ('''1986'''). ''Automatic Verification of Sequential Circuits Using Temporal Logic". [[IEEE#TOC|IEEE Transactions on Computers]], Vol. 35, No. 12
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1987'''). ''Characterizing Kripke Structures in Temporal Logic''. [https://dblp.uni-trier.de/db/conf/tapsoft/tapsoft87-1.html TAPSOFT] <ref>[https://en.wikipedia.org/wiki/Kripke_structure_(model_checking) Kripke structure (model checking) from Wikipedia]</ref>
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1988'''). ''Characterizing Finite Kripke Structures in Propositional Temporal Logic''. [https://en.wikipedia.org/wiki/Theoretical_Computer_Science_(journal) Theoretical Computer Science], Vol. 59
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1989'''). ''Reasoning about Networks with Many Identical Finite State Processes''. [https://en.wikipedia.org/wiki/Information_and_Computation Information and Computation], Vol. 81, No. 1
* [[Mike Browne|Michael Browne]] ('''1989'''). ''Automatic Verification of Finite State Machines Using Temporal Logic''. Ph.D. thesis, [[Carnegie Mellon University]], advisor [[Mathematician#EMClarke|Edmund M. Clarke]
==1990 ...==
* [[Andreas Nowatzyk]], [https://dblp.uni-trier.de/pers/hd/a/Aybay:Gunes Günes Aybay], [[Mike Browne|Michael Browne]], [https://dblp.uni-trier.de/pers/hd/k/Kelly:Edmund_J= Edmund J. Kelly], [https://dblp.uni-trier.de/pers/hd/p/Parkin:Michael Michael Parkin], [https://dblp.uni-trier.de/pers/hd/r/Radke:Bill Bill Radke], [https://dblp.uni-trier.de/pers/hd/v/Vishin:Sanjay Sanjay Vishin] ('''1995'''). ''Exploiting Parallelism in Cache Coherency Protocol Engines''. [https://link.springer.com/book/10.1007%2FBFb0020448 Euro-Par '95], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNCS], Vol. 966, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [[Andreas Nowatzyk]], [[Mike Browne|Michael Browne]], [https://dblp.uni-trier.de/pers/hd/k/Kelly:Edmund_J= Edmund J. Kelly], [https://dblp.uni-trier.de/pers/hd/p/Parkin:Michael Michael Parkin] ('''1995'''). ''S-Connect: From Networks of Workstations to Supercomputer Performance''. [https://dblp.uni-trier.de/db/conf/isca/isca95.html ISCA 1995]
* [https://dblp.uni-trier.de/pers/hd/p/Pong:Fong Fong Pong], [[Mike Browne|Michael Browne]], [[Andreas Nowatzyk]], [https://dblp.uni-trier.de/pers/hd/d/Dubois:Michel Michel Dubois], [https://dblp.uni-trier.de/pers/hd/a/Aybay:Gunes Günes Aybay] ('''1998'''). ''Design Verification of the S3.mp Cache-Coherent Shared-Memory System''. [[IEEE#TOC|IEEE Transactions on Computers]], Vol. 47, No. 1
=External Links=
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=50262 Michael Browne - The Mathematics Genealogy Project]
=References=
<references />
'''[[People|Up one level]]'''
'''Michael C. (Mike) Browne''',<br/>
an American electrical engineer and computer scientist. He holds a Ph.D. in 1989 from [[Carnegie Mellon University]] on [https://en.wikipedia.org/wiki/Formal_verification formal verification] and [https://en.wikipedia.org/wiki/Model_checking model checking] using [https://en.wikipedia.org/wiki/Temporal_logic temporal logic]
under [[Mathematician#EMClarke|Edmund M. Clarke]]. At the Carnegie Mellon, he was further member of the [[Deep Thought]] team, where he was responsible for Deep Thought's [[Opening Book|opening book]],
and later worked with [[Andreas Nowatzyk]] et al. in the field of [https://en.wikipedia.org/wiki/Parallel_computing parallel computing] concerning [[Memory#Shared|shared memory]] and [[Memory#Cache|cache]] [https://en.wikipedia.org/wiki/Cache_coherence coherence].
=Photos=
[[FILE:deep-thought-team-1988.102645336.hsu.jpg|none|border|text-bottom|640px|link=http://www.computerhistory.org/chess/stl-430b9bbd52f71/]]
[[Murray Campbell]], [[Feng-hsiung Hsu]], [[Thomas Anantharaman]], [[Mike Browne]] and [[Andreas Nowatzyk]],<br/>
after winning the [[Edward Fredkin#Prize|Fredkin Intermediate Prize]] for Deep Thought's Grandmaster-level performance. <ref>[http://www.computerhistory.org/chess/stl-430b9bbd52f71/ Deep Thought team with Fredkin Intermediate Prize] 1988, Gift of [[Feng-hsiung Hsu]] hosted by [[The Computer History Museum]]</ref>
=Selected Publications=
<ref>[http://portal.acm.org/author_page.cfm?id=81100010224 Mike Browne's Publications at ACM Portal]</ref> <ref>[https://dblp.uni-trier.de/pers/hd/b/Browne:Michael_C= dblp: Michael C. Browne]</ref>
==1986 ...==
* [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]], [[Mike Browne|Michael Browne]] ('''1986'''). ''Reasoning About Networks With Many Identical Finite-State Processes''. [https://dblp.uni-trier.de/db/conf/podc/podc86.html PODC 1986]
* [[Mike Browne|Michael Browne]] ('''1986'''). ''An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic''. [https://dblp.uni-trier.de/db/conf/lics/lics86.html LICS 1986] <ref>[https://en.wikipedia.org/wiki/Temporal_logic Temporal logic from Wikipedia]</ref>
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#DLDill|David L. Dill]], [[Mathematician#BMishra|Bud Mishra]] ('''1986'''). ''Automatic Verification of Sequential Circuits Using Temporal Logic". [[IEEE#TOC|IEEE Transactions on Computers]], Vol. 35, No. 12
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1987'''). ''Characterizing Kripke Structures in Temporal Logic''. [https://dblp.uni-trier.de/db/conf/tapsoft/tapsoft87-1.html TAPSOFT] <ref>[https://en.wikipedia.org/wiki/Kripke_structure_(model_checking) Kripke structure (model checking) from Wikipedia]</ref>
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1988'''). ''Characterizing Finite Kripke Structures in Propositional Temporal Logic''. [https://en.wikipedia.org/wiki/Theoretical_Computer_Science_(journal) Theoretical Computer Science], Vol. 59
* [[Mike Browne|Michael Browne]], [[Mathematician#EMClarke|Edmund M. Clarke]], [[Mathematician#OGrumberg|Orna Grumberg]] ('''1989'''). ''Reasoning about Networks with Many Identical Finite State Processes''. [https://en.wikipedia.org/wiki/Information_and_Computation Information and Computation], Vol. 81, No. 1
* [[Mike Browne|Michael Browne]] ('''1989'''). ''Automatic Verification of Finite State Machines Using Temporal Logic''. Ph.D. thesis, [[Carnegie Mellon University]], advisor [[Mathematician#EMClarke|Edmund M. Clarke]
==1990 ...==
* [[Andreas Nowatzyk]], [https://dblp.uni-trier.de/pers/hd/a/Aybay:Gunes Günes Aybay], [[Mike Browne|Michael Browne]], [https://dblp.uni-trier.de/pers/hd/k/Kelly:Edmund_J= Edmund J. Kelly], [https://dblp.uni-trier.de/pers/hd/p/Parkin:Michael Michael Parkin], [https://dblp.uni-trier.de/pers/hd/r/Radke:Bill Bill Radke], [https://dblp.uni-trier.de/pers/hd/v/Vishin:Sanjay Sanjay Vishin] ('''1995'''). ''Exploiting Parallelism in Cache Coherency Protocol Engines''. [https://link.springer.com/book/10.1007%2FBFb0020448 Euro-Par '95], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science LNCS], Vol. 966, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [[Andreas Nowatzyk]], [[Mike Browne|Michael Browne]], [https://dblp.uni-trier.de/pers/hd/k/Kelly:Edmund_J= Edmund J. Kelly], [https://dblp.uni-trier.de/pers/hd/p/Parkin:Michael Michael Parkin] ('''1995'''). ''S-Connect: From Networks of Workstations to Supercomputer Performance''. [https://dblp.uni-trier.de/db/conf/isca/isca95.html ISCA 1995]
* [https://dblp.uni-trier.de/pers/hd/p/Pong:Fong Fong Pong], [[Mike Browne|Michael Browne]], [[Andreas Nowatzyk]], [https://dblp.uni-trier.de/pers/hd/d/Dubois:Michel Michel Dubois], [https://dblp.uni-trier.de/pers/hd/a/Aybay:Gunes Günes Aybay] ('''1998'''). ''Design Verification of the S3.mp Cache-Coherent Shared-Memory System''. [[IEEE#TOC|IEEE Transactions on Computers]], Vol. 47, No. 1
=External Links=
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=50262 Michael Browne - The Mathematics Genealogy Project]
=References=
<references />
'''[[People|Up one level]]'''
