Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Pioneer

Dana Scott

Also Known As Dana S. Scott · Dana Stewart Scott
Software And Its Engineering

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
Birth Year
1932 1
Birth Date
1932-10-11 1
Connections

Associated With

Michael O. Rabin, Pioneers
Source Wikipedia: Michael O. Rabin

Invented By

Deterministic Finite Automaton, Concepts

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 Foundation
  • 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.
  • Infobox, Born
    October 11, 1932
View the Source
Dana Scott (Wikidata)
  • Wikidata alias: Dana S. Scott
    Dana S. Scott
  • Wikidata P166: Harold Pender Award
    Wikidata P166 (award received): Harold Pender Award.
  • Wikidata P166: EATCS award
    Wikidata P166 (award received): EATCS award.
  • Wikidata P166: Guggenheim Fellowship
    Wikidata P166 (award received): Guggenheim Fellowship.
  • Wikidata P166: Bernard Bolzano Honorary Medal for Merit in the Mathematical Sciences
    Wikidata P166 (award received): Bernard Bolzano Honorary Medal for Merit in the Mathematical Sciences.
  • Wikidata P166: Gödel Lecturer
    Wikidata P166 (award received): Gödel Lecturer.
  • Wikidata P166: Turing Award
    Wikidata P166 (award received): Turing Award.
  • Wikidata P166: ACM Fellow
    Wikidata P166 (award received): ACM Fellow.
  • Wikidata P166: honorary doctor of the University of Edinburgh
    Wikidata P166 (award received): honorary doctor of the University of Edinburgh.
  • Wikidata P166: Rolf Schock Prize in Logic and Philosophy
    Wikidata P166 (award received): Rolf Schock Prize in Logic and Philosophy.
  • Wikidata P166: Rolf Schock Prizes
    Wikidata P166 (award received): Rolf Schock Prizes.
  • Wikidata P166: Fellow of the American Mathematical Society
    Wikidata P166 (award received): Fellow of the American Mathematical Society.
  • Wikidata P166: honorary doctor of the University of Utrecht
    Wikidata P166 (award received): honorary doctor of the University of Utrecht.
  • Wikidata P166: Leroy P. Steele Prize
    Wikidata P166 (award received): Leroy P. Steele Prize.
  • Wikidata alias: Dana Stewart Scott
    Dana Stewart Scott
View the Source
Wikipedia: Michael O. Rabin
Wikimedia FoundationAssociated With: Michael O. Rabin, Career section
Quote, Associated With: Michael O. Rabin, Career section
It was there that he and Dana Scott wrote the paper "Finite Automata and Their Decision Problems".
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.