Дана Скотт

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Дана Скотт
англ. Dana Stewart Scott
Дана Скотт (2007)
Дана Скотт (2007)
Народився 11 жовтня 1932(1932-10-11) (86 років)
Берклі, Каліфорнія
Громадянство США США
Діяльність математик, інформатик, інженер, тополог, викладач університету
Alma mater Університет Каліфорнії (Берклі),
Принстонський університет
Сфера інтересів Інформатика
Заклад Стенфордський університет,
Університет Каліфорнії (Берклі),
Оксфордський університет,
Університет Карнегі-Меллон
Науковий ступінь доктор філософії (1958)
Науковий керівник Алонзо Черч [1]
Аспіранти, докторанти Jack Copeland[d], Michael Fourman[d], Kenneth Kunen[d], Angus Macintyre[d], Ketan Mulmuley[d], Marko Petkovšek[d], Фред С. Робертс і David Turner[d]
Член Американське математичне товариство, Національна академія наук США, Європейська академія[2], Finnish Academy of Science and Letters[d], Американська академія мистецтв і наук і Association for Computing Machinery
Відомий завдяки: Теорія автоматів, Денотаційна семантика
Нагороди Премія Тюрінга (1976)
Особ. сторінка мова|англ.] [1]]

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

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


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

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