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 BirthplaceBerkeley, United States 1 Field
Field (category) Field (category) Field (category) Connections
Member Of
Source Dana Scott - Wikipedia
Source Dana Scott - Wikipedia
Works In
Source Dana Scott - Wikipedia
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Dana Scott - WikipediaLead paragraph of the cited Wikipedia articleQuote, Lead paragraph of the cited Wikipedia article
Dana Stewart Scott (born October 11, 1932) is a retired American logician.
Sources
1. Dana Scott (Wikidata)
P19 (place of birth): Berkeley, United StatesQuote, P19 (place of birth): Berkeley, United States
Q484678
2. 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.
Works In: Logic, Lead sentence
Dana Stewart Scott (born October 11, 1932) is a retired American logician.
Member Of: National Academy of Sciences, Categories
Category:Members of the United States National Academy of Sciences
Member Of: Association for Computing Machinery, Article text
In 1994, he was inducted as a Fellow of the Association for Computing Machinery. In 2012 he became a fellow of the Amer
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.