Dana Stewart Scott is a retired American logician, born in 1932, who along with Michael O. Rabin received the 1976 ACM Turing Award for their joint work on automata theory. He has made seminal contributions to modal logic, set theory and the theory of programming languages, and he created domain theory, a branch of mathematics that provides a foundation for the theory of programming languages and computability.
Facts
Notable Work In the Other Atlases
Sources
1. Dana Scott - Wikipedia
Lead paragraph, sentence 1
Dana Stewart Scott (born October 11, 1932) is a retired American logician.
Lead paragraph, nationality descriptor
Dana Stewart Scott (born October 11, 1932) is a retired American logician.
Lead paragraph, field descriptor
Dana Stewart Scott (born October 11, 1932) is a retired American logician.
Second paragraph, sentence 2
He created domain theory, a branch of mathematics that provides a foundation for the theory of programming languages and computability.
View the SourceReader 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.