25,161
edits
Changes
no edit summary
'''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 the [[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].
* [[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]
'''[[People|Up one level]]'''
[[Category:Chess Programmer|Browne]]
