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