Michael O. Rabin

Awards

1. 1976

   Turing Award

   CS

   for their joint paper ' Finite automata and their decision problem', which introduced the idea of nondeterministic machines