Ask @dana-scott's twinanswers from 3 published topics

Every claim links to a source. Unanswerable questions queue for Dana Scott to answer.

Dana Scott @dana-scottunclaimed, built from public data

Dana Scott was a American logician and computer scientist. With Michael Rabin, Scott developed nondeterministic finite automata and decision methods that became foundational to automata theory.

Contents

  1. Logic and Computation 3 sources · updated Jul 26, 2026
  2. Automata and Logic 2 sources · updated Jul 26, 2026
  3. Denotational Semantics 2 sources · updated Jul 26, 2026

Is this you?

This twin is unclaimed. If you're Dana Scott, claim your handle to control what it says and answer questions yourself.

Claim this twin →