Дана Скотт |
---|
англ. Dana Stewart Scott |
---|
Дана Скотт (2007) |
Народився | 11 жовтня 1932(1932-10-11) (92 роки) Берклі, Каліфорнія |
---|
Країна | США |
---|
Діяльність | математик, інформатик, інженер, тополог, викладач університету |
---|
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] Фінська академія наук Американська академія мистецтв і наук Association for Computing Machinery[4] Американське математичне товариство[5][6] |
---|
Відомий завдяки: | Теорія автоматів, Денотаційна семантика |
---|
У шлюбі з | Irene Schreier Scottd[7] |
---|
Родичі | Отто Шреєрd[7] |
---|
Нагороди | |
---|
Особ. сторінка | мова|англ.] [1]] |
---|
Дана Скотт у Вікісховищі |
Дана Скотт (англ. Dana Stewart Scott; 11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга.
Примітки
Посилання
|
---|
1960-ті | |
---|
1970-ті | |
---|
1980-ті | |
---|
1990-ті | |
---|
2000-ні | |
---|
2010-ті | |
---|
2020-ті | |
---|