Dana Scott
Updated: 12/01/2019 by Computer Hope
Name: Dana Stewart Scott
Born: October 11, 1932
Computer-related contributions
- Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University.
- Editor-in-chief of the new journal Logical Methods in Computer Science.
- Has also worked on modal logic, topology, and category theory.
Significant publications
- Finite Automata and Their Decision Problem (1959).
- A Proof of the Independence of the Continuum Hypothesis (1967).