Dana Stewart Scott

* October 11, 1932, Berkeley, California, USA

ACM A.M. Turing Award - 1976

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.