Дана Скотт

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Дана Скотт
англ. Dana Stewart Scott
Scott Dana small.jpg
Дана Скотт (2007)
Народився 11 жовтня 1932(1932-10-11) (85 років)
Берклі, Каліфорнія
Громадянство США США
Діяльність математик, вчений у галузі інформатики, інженер, тополог, викладач університету
Відомий завдяки Інформатика
Alma mater Університет Каліфорнії (Берклі),
Принстонський університет
Науковий ступінь доктор філософії (1958)
Науковий керівник Алонзо Черч [1]
Заклад Стенфордський університет,
Університет Каліфорнії (Берклі),
Оксфордський університет,
Університет Карнегі-Меллон
Членство Американське математичне товариство, Національна академія наук США, Європейська академія, Finnish Academy of Science and Letters[d], Американська академія мистецтв і наук і Association for Computing Machinery
Відомий завдяки: Теорія автоматів, Денотаційна семантика
Нагороди Премія Тюрінга (1976)
Сторінка в Інтернеті мова|англ.] [1]]

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


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

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