達(dá)納·斯科特 - 人物信息

達(dá)納·斯科特  Dana Stewart Scott  Scott Dana small.jpg

研究領(lǐng)域  計(jì)算機(jī)科學(xué)  數(shù)學(xué)  哲學(xué)

獲獎(jiǎng)  1976年圖靈獎(jiǎng)

達(dá)納·斯科特 - 簡(jiǎn)介

斯科特1932年10月11日生于美國加利福尼亞州，在加州大學(xué)伯克利分校獲得學(xué)士學(xué)位以后，進(jìn)入普林斯頓大學(xué)研究生院學(xué)習(xí)，與邁克爾·拉賓一起師從阿隆索·邱奇，1958年取得博士學(xué)位。

他先后在芝加哥大學(xué)、加州大學(xué)伯克利分校、斯坦福大學(xué)、荷蘭的阿姆斯特丹大學(xué)、普林斯頓大學(xué)和英國牛津大學(xué)等學(xué)府任教。1981年被卡內(nèi)基梅隆大學(xué)聘為計(jì)算機(jī)科學(xué)、數(shù)理邏輯和哲學(xué)教授。

達(dá)納·斯科特 - 貢獻(xiàn)

1959年，拉賓和達(dá)納·斯科特共同發(fā)表了“有限自動(dòng)機(jī)與其判定性問題”（Finite Automata and Their Decision Problems）的論文，提出了非確定自動(dòng)機(jī)的觀點(diǎn)。他們也因此獲得了 1976年的圖靈獎(jiǎng)，并做“邏輯與程序設(shè)計(jì)語言”（logic and Programming Language）的演講。

圖靈獎(jiǎng)的引文是：
“  因他們的合著論文“有限自動(dòng)機(jī)與其判定性問題”。論文中引入了非確定自動(dòng)機(jī)的概念，被證明是（計(jì)算理論科學(xué)研究中的）一個(gè)非常重要的概念。拉賓和斯科特的這篇經(jīng)典論文成為了這個(gè)領(lǐng)域后續(xù)研究的源泉。