Michael O. Rabin
for their joint paper ' Finite automata and their decision problem', which introduced the idea of nondeterministic machines
Affiliated at time of winning
Hebrew University of Jerusalem
Jerusalem, Israel
Recognition for work with lasting impact
for their joint paper ' Finite automata and their decision problem', which introduced the idea of nondeterministic machines
Hebrew University of Jerusalem
Jerusalem, Israel