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. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
AwardBernard Bolzano Honorary Medal for Merit in the Mathematical Sciences 2 Awardhonorary doctor of the University of Edinburgh 2 AwardRolf Schock Prize in Logic and Philosophy 2 AwardFellow of the American Mathematical Society 2 Awardhonorary doctor of the University of Utrecht 2 Connections
Associated With
Source Wikipedia: Michael O. Rabin
In Field
Source Wikipedia: Dana Scott
Invented
Dana Scott co-authored the 1959 paper with Michael Rabin that formalized deterministic and nondeterministic finite automata and proved their equivalence.
In the Other Atlases
Sources
1. Wikipedia: Dana Scott
Wikimedia FoundationLead 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.
Infobox, Born
October 11, 1932
- In Field: Theory of Computation, Lead paragraph
View the Source 2. Wikidata: Dana Scott
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)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.