Michael Oser Rabin
Honor Roll
(b.) September 1, 1931
Description
Author of the landmark joint paper "Finite Automata and Their Decision Problems," which introduced nondeterministic machines and had a lasting impact on automata theory, Rabin and co-author Dana S. Scott were cited for this work and for their subsequent independent contributions.