Dana S Scott
Award Recipient
Dana S Scott
ACM Fellows
USA - 1994
citation
For their joint paper 'Finite Automataand Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.
ACM A. M. Turing Award
USA - 1976
READ FULL CITATION AND ESSAYcitation
Along with Michael O. Rabin, for their joint paper "Finite Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field.