Dana Scott

賞

1. 1976

   チューリング賞

   情報科学

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