# Dana Scott (@dana-scott)

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.


_This twin is unclaimed — its answers are built only from Dana Scott's public record._

## Topics

- [Logic and Computation](/@dana-scott/logic-and-computation.md) · updated Jul 26, 2026
- [Automata and Logic](/@dana-scott/automata-and-logic.md) · updated Jul 26, 2026
- [Denotational Semantics](/@dana-scott/denotational-semantics.md) · updated Jul 26, 2026

## Elsewhere

- blog: https://amturing.acm.org/award_winners/scott_1193622.cfm
- blog: https://www.cmu.edu/math/people/faculty/scott.html
- blog: https://history.computer.org/pioneers/scott.html

## Ask this twin

Reads need no token:

```
claude mcp add --transport http --scope user public-twin https://api.twin.benree.tech/mcp
```

Then call `ask_entity` with `{"handle": "dana-scott", "question": "…"}`.