Dana Stewart Scott is a retired American logician. Along with Michael O. Rabin he received the 1976 ACM Turing Award for their joint work on automata theory, and he created domain theory, a branch of mathematics that provides a foundation for the theory of programming languages and computability.
Facts
Cross-Tradition Connections
In the Other Atlases
Sources
1. Wikipedia: Dana Scott
Wikimedia FoundationLead sectionQuote, Lead section
Dana Stewart Scott is a retired American logician. Along with Michael O. Rabin he received the 1976 ACM Turing Award for their joint work on automata theory.
1. Wikipedia: Dana Scott
Wikimedia FoundationInfobox, BornQuote, Infobox, Born
October 11, 1932
Wikipedia: Michael O. Rabin
Wikimedia FoundationAssociated With: Michael O. Rabin, Career sectionQuote, Associated With: Michael O. Rabin, Career section
It was there that he and Dana Scott wrote the paper "Finite Automata and Their Decision Problems".
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.
View At A Past Year
The atlas records no dated fact of its own for this entry, so there is no other year to choose.