Science Atlas

How We Know What We Know
Sign In
Text size
100%
Theme

Switch Atlas

Scientist

Dana Scott

Computer Science

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
Birth Year
1932 1
Birth Date
1932-10-11 2
Field
Logic 2
Nationality
American 2
Notable Work
Domain theory 2
Birthplace
Berkeley, United States 1
Field
Field (category)
Mathematics 1
Field (category)
Computer Science 1
Field (category)
Engineering 1
Connections

Member Of

Association for Computing Machinery, Institutions
Source Dana Scott - Wikipedia
National Academy of Sciences, Institutions
Source Dana Scott - Wikipedia

Works In

Logic, Disciplines
Source Dana Scott - Wikipedia
In the Other Atlases

Nationality

United States

Also in Geography Atlas: the nationality of this subject.

Source Dana Scott - WikipediaLead paragraph of the cited Wikipedia article
Quote, 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 States
Quote, P19 (place of birth): Berkeley, United States
Q484678
View the Source
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 Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.