Дана Скотт
Дана Скотт (англ. Dana Stewart Scott; нар.11 жовтня 1932) — американський математик та теоретик в галузі інформатики, лауреат премії Тюрінга.
| Дана Скотт | |
|---|---|
| англ. Dana Stewart Scott | |
 Дана Скотт (2007) | |
| Народився |
11 жовтня 1932 (89 років) Берклі, Каліфорнія |
| Країна |
 США |
| Діяльність | математик, інформатик, інженер, тополог, викладач університету |
| 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) |
| Особ. сторінка | мова|англ.] ] |
 Дана Скотт у Вікісховищі | |
Примітки
- (англ. )Mathematics Genealogy Project
- Математична генеалогія — 1997.
- https://www.ae-info.org/ae/User/Scott_Dana
- Архів історії математики Мактьютор
Посилання
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.