Дана Скотт

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Дана Скотт
англ. Dana Stewart Scott
Дана Скотт (2007)
Дана Скотт (2007)
Народився 11 жовтня 1932(1932-10-11) (88 років)
Берклі, Каліфорнія
Країна США США
Діяльність математик, інформатик, інженер, тополог, викладач університету
Alma mater Університет Каліфорнії (Берклі),
Принстонський університет
Галузь Інформатика
Заклад Стенфордський університет,
Університет Каліфорнії (Берклі),
Оксфордський університет,
Університет Карнегі-Меллон
Ступінь доктор філософії (1958)
Науковий керівник Алонзо Черч [1]
Аспіранти, докторанти Jack Copelandd, Michael Fourmand, Kenneth Kunend, Angus Macintyred, Ketan Mulmuleyd, Marko Petkovšekd, Фред С. Робертс, David Turnerd[2], Kosta Došend[2], William Chesley Roundsd[2], Jon Barwised[2], Roy Dyckhoffd[2], James Daniel Halpernd[2], Andrej Bauerd[2], Michael Katzd[2], Carl Allen Gunterd[2], Peter Holger Kraussd[2], Daniel B. Demareed[2], Daniel Gallind[2], Edgar George Kenneth Lopez-Escobard[2], Peter Perkinsd[2], Nicolas Daniels Goodmand[2], Richard Beech Mansfieldd[2], William Frederick Ogdend[2], Ljubomir Perkovicd[2], Lars Birkedald[2], Kim Ritter Wagnerd[2], J. Todd Wilsond[2], Vijay Saraswatd[2], Jesse Hughesd[2], Michael B. Smythd[2], Brian Farrell Chellasd[2], K. Krister (Karl) Segerbergd[2], William James Meyersd[2], Shun-On Adrian Tangd[2], Jay David Atlasd[2], Martin K. Daviesd[2], Robin John Graysond[2], William Bragg Ewaldd[2], John Cartmelld[2], Joseph E. Quinseyd[2], Stephen R. Blameyd[2], Marcus Giaquintod[2], Joseph Almogd[2], Felipe Brachod[2], David Charles McCartyd[2], Sidney C. Bailind[2], Giuseppe Rosolinid[2], John L. Mummad[2], Christopher Carlsond[2] і Jeff Heissermand[2]
Членство Американське математичне товариство, Національна академія наук США, Європейська академія[3], Finnish Academy of Science and Lettersd, Американська академія мистецтв і наук і Association for Computing Machinery
Відомий завдяки: Теорія автоматів, Денотаційна семантика
У шлюбі з Irene Schreier Scottd[4]
Родичі Отто Шреєрd[4]
Нагороди Премія Тюрінга (1976)
Особ. сторінка мова|англ.] [1]]

CMNS: Дана Скотт у Вікісховищі

Дана Скотт (англ. Dana Stewart Scott; нар.11 жовтня 1932)  — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга.

Примітки[ред. | ред. код]

Посилання[ред. | ред. код]