Explore relationships

Dana Scott

Dana Stewart Scott (born October 11, 1932) is a retired American logician. Along with Michael O. Rabin he received the 1976 ACM Turing Award for their joint work on automata theory.

Use + to expand a branch. Click a topic name to open its summary.