またがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。外部リンク学生時代まで[編集]1954年、カリフォルニア大学バークレー校にて学士号を取得。その後、同大学院でアルフレト・タルスキの指導を受けるが、タルスキとの間でトラブルが発生し、プリンストン大学へ移ることを余儀なくされる(ただしタルスキとはその後、和解している)。いう論文を完成させ博士号を取得。ソロモン・フェファーマンは後にこのころについて次のように記している。50年代前半、まだ学部学生のころスコットはバークレーで研究を開始した。ずば抜けた才能がすぐに認められ、大学院に進学して私やリチャード・モンタギューと共にタルスキの講座に属するようになった。私たちが友人になったのはそのころのことだ。スコットはタルスキの指導で博士号を目指していたが、私たちの伝記[2]に説明されている理由で落第することになった。動揺したスコットはプリンストンに移り、アロンゾ・チャーチの下で博士号を目指すことになった。その後、タルスキが彼に「君を私の学生と呼びたい」と言い、彼らの関係が修復された。[3]博士号を取得するとシカゴ大学に移り、1960年まで講師として勤務。いう論文を発表し、非決定性有限オートマトンのアイデアを明らかにした。これが計算複雑性理論の基礎概念となったことから、ラビンと共にチューリング賞を受賞した。より、1976年度チューリング賞を受賞している。カリフォルニア大学バークレー校で数学助教授の職を得てバークレーに戻ると、数理論理学の古典的問題、特に集合論とタルスキ的モデル理論の研究を行うようになった。可測基数が存在するならば、V≠Lを証明した。このころから博士号を目指す学生を指導するようになる。様相論理と時相論理[編集]このころジョン・レモンと共同で様相論理の研究を始めている。レモンは1963年にカリフォルニア州クレアモントに移った。スコットは特にアーサー・プライアー(英語版)の時相論理と自然言語の意味論における時間の扱い方との関係に興味を持ち、バークレーの学部学生だったころからの友人であるリチャード・モンタギューと共同研究を始めた[5]。後にスコットとモンタギューはそれぞれ独自にクリプキ意味論(英語版)の様相論理および時相論理への重要な一般化を発見し、スコット-モンタギュー意味論(英語版)と呼ばれるようになった[6]。レモンと共に様相論理の教科書を執筆していたが、1966年にレモンが亡くなったため中断した。スコットは未完成な論文を同僚らに回覧した。通してモデルを構築する重要な技法がある。それらは現代クリプキ意味論(英語版)の中核概念となっている[7]。1963–1972[編集]ロバート・ソロヴェイ(英語版)の初期の観測に続き、ソロヴェイやペトル・ヴォピェンカとほぼ同時期にスコットはブール値モデル(英語版)の概念を定式化した。ブール値モデルを使い、ポール・コーエンが連続体仮説の独立性を証明したのとは別の証明を与えた。この業績により1972年にスティール賞を受賞している。1972–1981[編集]1972年、オックスフォード大学哲学科の数理論理学教授の職を得た。プログラミング言語の意味論[編集]このころクリストファー・ストレイチーと共同研究しており、管理職としてのプレッシャーにも関わらず、プログラミング言語の意味論の数学的基盤を築く根本的な仕事をなしとげ、この業績でスコットは最もよく知られるようになった。全体として表示的意味論へのスコットとストレイチーのアプローチを構成している。それは理論計算機科学における最も有力な業績の1つであり、計算機科学の主要な学派の基盤となった見ることもできる。中でも領域理論の定式化への貢献が大きく[9]、再帰関数とループ制御構造を持つプログラミング言語の表示的意味論を与えることを可能にした。理論を通して無限かつ連続な情報を理解する基盤を提供した。この時期の業績から、以下のような賞を受賞している。の圏はデカルト閉圏だが、領域の圏はそうではない。2011年12月26日閲覧。(1960年)スコーバレーオリンピック開幕(1960年)ガンビアがイギリスから独立(1965年)ハワイで世界初のトライアスロン大会開催(1978年)アルジェリア南部のサハラ砂漠で降雪。