デイナ・スコット
このころクリストファー・ストレイチーと共同研究しており、管理職としてのプレッシャーにもかかわらず、プログラミング言語の意味論の数学的基盤を築く根本的な仕事をなしとげ、この業績でスコットは最もよく知られるようになった。全体として表示的意味論へのスコットとストレイチーのアプローチを構成している。それは理論計算機科学における最も有力な業績の1つであり、計算機科学の主要な学派の基盤となった見ることもできる。中でも領域理論の定式化への貢献が大きく、再帰関数とループ制御構造を持つプログラミング言語の表示的意味論を与えることを可能にした。さらに、領域理論と彼の information system の理論を通して無限かつ連続な情報を理解する基盤を提供した。
この時期の業績から、以下のような賞を受賞している。
1990年 - ハロルド・ペンダー賞(ペンシルベニア大学)
1997年 - ショック賞(スウェーデン王立科学アカデミー)
2001年 - Bolzano Prize for Merit in the Mathematical Sciences(チェコ科学アカデミー(英語版))
2007年 - EATCS Award