Дана Скотт (англ. Dana Stewart Scott; 11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга.
Дана Скотт |
---|
англ. Dana Stewart Scott |
---|
Дана Скотт (2007) |
Народився |
11 жовтня 1932(1932-10-11) (91 рік) Берклі, Каліфорнія |
---|
Країна |
США |
---|
Діяльність |
математик, інформатик, інженер, тополог, викладач університету |
---|
Alma mater |
Університет Каліфорнії (Берклі), Принстонський університет |
---|
Галузь |
Інформатика |
---|
Заклад |
Стенфордський університет, Університет Каліфорнії (Берклі), Оксфордський університет, Університет Карнегі-Меллон |
---|
Науковий ступінь |
доктор філософії (1958) |
---|
Науковий керівник |
Алонзо Черч [1] |
---|
Аспіранти, докторанти |
Джек Коуплендd 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 L. Katzd[2] Carl A. 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] Krister Segerbergd[2] William James Meyersd[2] Shun-On Adrian Tangd[2] Jay David Atlasd[2] Martin K. Daviesd[2] Robin John Graysond[2] William 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 Американське математичне товариство[4][5] |
---|
Відомий завдяки: |
Теорія автоматів, Денотаційна семантика |
---|
У шлюбі з |
Irene Schreier Scottd[6] |
---|
Родичі |
Отто Шреєрd[6] |
---|
Нагороди |
|
---|
Особ. сторінка |
мова|англ.] [1]] |
---|
Дана Скотт у Вікісховищі |
Примітки
ред.
Посилання
ред.