デイナ・スコット
1954年、カリフォルニア大学バークレー校にて学士号を取得。その後、同大学院でアルフレト・タルスキの指導を受けるが、タルスキとの間でトラブルが発生し、プリンストン大学へ移ることを余儀なくされる(ただしタルスキとはその後、和解している)。1958年、プリンストン大学にてアロンゾ・チャーチの指導のもと、Convergent Sequences of Complete Theories という論文を完成させ博士号を取得。ソロモン・フェファーマンは後にこのころについて次のように記している。
博士号を取得するとシカゴ大学に移り、1960年まで講師として勤務。1959年にはプリンストンでの同僚マイケル・ラビンと共同で Finite Automata and Their Decision Problem という論文を発表し、非決定性有限オートマトンのアイデアを明らかにした。これが計算複雑性理論の基礎概念となったことから、ラビンと共にチューリング賞を受賞した。