Name: Dana Stewart Scott

Born: October 11, 1932

  • 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).

Honors and awards

  • ACM Turing Award (1976).
  • Tarski lectures (1989).
  • Alan Turing
  • Michael Rabin
  • Stephen Kleene

Websites

  • Dana Scott personal website