Дана Скотт

Дана Скотт
Дана Скотт
англ. Dana Stewart Scott
	Дана Скотт (2007) Дана Скотт (2007)
Народився	11 жовтня 1932 (92 роки); Берклі, Каліфорнія
Країна	США
Діяльність	математик, інформатик, інженер, тополог, викладач університету
Alma mater	Університет Каліфорнії (Берклі), ; Принстонський університет
Галузь	Інформатика
Заклад	Стенфордський університет, ; Університет Каліфорнії (Берклі), ; Оксфордський університет, ; Університет Карнегі-Меллон
Науковий ступінь	доктор філософії (1958)
Науковий керівник	Алонзо Черч
Аспіранти, докторанти	Джек Коуплендd; Michael Fourmand; Kenneth Kunend; Angus Macintyred; Ketan Mulmuleyd; Marko Petkovšekd; Фред С. Робертс; David Turnerd; Kosta Došend; William Chesley Roundsd; Jon Barwised; Roy Dyckhoffd; James Daniel Halpernd; Andrej Bauerd; Michael L. Katzd; Carl A. Gunterd; Peter Holger Kraussd; Daniel B. Demareed; Daniel Gallind; Edgar George Kenneth Lopez-Escobard; Peter Perkinsd; Nicolas Daniels Goodmand; Richard Beech Mansfieldd; William Frederick Ogdend; Ljubomir Perkovicd; Lars Birkedald; Kim Ritter Wagnerd; J. Todd Wilsond; Vijay Saraswatd; Jesse Hughesd; Michael B. Smythd; Brian Farrell Chellasd; Krister Segerbergd; William James Meyersd; Shun-On Adrian Tangd; Jay David Atlasd; Martin K. Daviesd; Robin John Graysond; William Ewaldd; John Cartmelld; Joseph E. Quinseyd; Stephen R. Blameyd; Marcus Giaquintod; Joseph Almogd; Felipe Brachod; David Charles McCartyd; Sidney C. Bailind; Giuseppe Rosolinid; John L. Mummad; Christopher Carlsond; Jeff Heissermand
Членство	Національна академія наук США; Європейська академія; Фінська академія наук; Американська академія мистецтв і наук; Association for Computing Machinery; Американське математичне товариство
Відомий завдяки:	Теорія автоматів, Денотаційна семантика
У шлюбі з	Irene Schreier Scottd
Родичі	Отто Шреєрd
Нагороди	премія Тюрінга (1976) Грант Ґуґґенгайма (1978) премія Гарольда Пендера (1990) Rolf Schock Prize in Logic and Philosophyd (1997) Gödel Lecturerd (1991) EATCS awardd (2007) премія Стіла (1972) премія Рольфа Шока (1997) Дійсний член ACMd (1994) honorary doctor of the University of Utrechtd honorary doctor of the University of Edinburghd член Американського математичного товаристваd (2013)
Особ. сторінка	мова\|англ.] [1]]
	Дана Скотт у Вікісховищі

Немає перевірених версій цієї сторінки; ймовірно, її ще не перевіряли на відповідність правилам проєкту.

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

Примітки

↑ (англ. )Mathematics Genealogy Project
↑ ^а ^б ^в ^г ^д ^е ^ж ^и ^к ^л ^м ^н ^п ^р ^с ^т ^у ^ф ^х ^ц ^ш ^щ ^ю ^я ^аа ^аб ^ав ^аг ^ад ^ае ^аж ^аи ^ак ^ал ^ам ^ан ^ап ^ар ^ас ^ат ^ау ^аф ^ах ^ац Математичний генеалогічний проєкт — 1997.
d:Track:Q829984
↑ www.ae-info.org
d:Track:Q107213897
↑ https://awards.acm.org/fellows/award-recipients
↑ http://www.ams.org/fellows_by_year.cgi?year=2013
↑ http://www.ams.org/news?news_id=1680
↑ ^а ^б Архів історії математики Мактьютор — 1994.
d:Track:Q547473

Посилання

Це незавершена стаття про особу США.
Ви можете допомогти проєкту, виправивши або дописавши її.

Це незавершена стаття про науковця.
Ви можете допомогти проєкту, виправивши або дописавши її.

[genealogy-1] (англ. )Mathematics Genealogy Project

[<span_class="wikidata_cite_citetype_Q7094076_citetype_Q33002955_citetype_Q114955954"_data-entity-id="Q829984">Математичний_генеалогічний_проєкт<span_class="wef_low_priority_links">_—_1997.</span></span><div_style="display:none">[[d:Track:Q829984]]</div>-2] а ^б ^в ^г ^д ^е ^ж ^и ^к ^л ^м ^н ^п ^р ^с ^т ^у ^ф ^х ^ц ^ш ^щ ^ю ^я ^аа ^аб ^ав ^аг ^ад ^ае ^аж ^аи ^ак ^ал ^ам ^ан ^ап ^ар ^ас ^ат ^ау ^аф ^ах ^ац Математичний генеалогічний проєкт — 1997.
d:Track:Q829984

[<span_class="wikidata_cite_citetype_Q35127"_data-entity-id="Q107213897">www.ae-info.org<span_class="wef_low_priority_links"></span></span><div_style="display:none">[[d:Track:Q107213897]]</div>-3] www.ae-info.org
d:Track:Q107213897

[[https://awards.acm.org/fellows/award-recipients_https://awards.acm.org/fellows/award-recipients]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-4] ttps://awards.acm.org/fellows/award-recipients

[[http://www.ams.org/fellows_by_year.cgi?year=2013_http://www.ams.org/fellows_by_year.cgi?year=2013]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-5] ttp://www.ams.org/fellows_by_year.cgi?year=2013

[[http://www.ams.org/news?news_id=1680_http://www.ams.org/news?news_id=1680]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-6] ttp://www.ams.org/news?news_id=1680

[<span_class="wikidata_cite_citetype_Q35127"_data-entity-id="Q547473">Архів_історії_математики_Мактьютор<span_class="wef_low_priority_links">_—_1994.</span></span><div_style="display:none">[[d:Track:Q547473]]</div>-7] а ^б Архів історії математики Мактьютор — 1994.
d:Track:Q547473

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Дана Скотт
англ. Dana Stewart Scott
Дана Скотт (2007) Дана Скотт (2007)
Народився	11 жовтня 1932(1932-10-11) (92 роки) Берклі, Каліфорнія
Країна	США
Діяльність	математик, інформатик, інженер, тополог, викладач університету
Alma mater	Університет Каліфорнії (Берклі), Принстонський університет
Галузь	Інформатика
Заклад	Стенфордський університет, Університет Каліфорнії (Берклі), Оксфордський університет, Університет Карнегі-Меллон
Науковий ступінь	доктор філософії (1958)
Науковий керівник	Алонзо Черч ^[1]
Аспіранти, докторанти	Джек Коупленд^d Michael Fourman^d Kenneth Kunen^d Angus Macintyre^d Ketan Mulmuley^d Marko Petkovšek^d Фред С. Робертс David Turner^d^[2] Kosta Došen^d^[2] William Chesley Rounds^d^[2] Jon Barwise^d^[2] Roy Dyckhoff^d^[2] James Daniel Halpern^d^[2] Andrej Bauer^d^[2] Michael L. Katz^d^[2] Carl A. Gunter^d^[2] Peter Holger Krauss^d^[2] Daniel B. Demaree^d^[2] Daniel Gallin^d^[2] Edgar George Kenneth Lopez-Escobar^d^[2] Peter Perkins^d^[2] Nicolas Daniels Goodman^d^[2] Richard Beech Mansfield^d^[2] William Frederick Ogden^d^[2] Ljubomir Perkovic^d^[2] Lars Birkedal^d^[2] Kim Ritter Wagner^d^[2] J. Todd Wilson^d^[2] Vijay Saraswat^d^[2] Jesse Hughes^d^[2] Michael B. Smyth^d^[2] Brian Farrell Chellas^d^[2] Krister Segerberg^d^[2] William James Meyers^d^[2] Shun-On Adrian Tang^d^[2] Jay David Atlas^d^[2] Martin K. Davies^d^[2] Robin John Grayson^d^[2] William Ewald^d^[2] John Cartmell^d^[2] Joseph E. Quinsey^d^[2] Stephen R. Blamey^d^[2] Marcus Giaquinto^d^[2] Joseph Almog^d^[2] Felipe Bracho^d^[2] David Charles McCarty^d^[2] Sidney C. Bailin^d^[2] Giuseppe Rosolini^d^[2] John L. Mumma^d^[2] Christopher Carlson^d^[2] Jeff Heisserman^d^[2]
Членство	Національна академія наук США Європейська академія^[3] Фінська академія наук Американська академія мистецтв і наук Association for Computing Machinery^[4] Американське математичне товариство^[5]^[6]
Відомий завдяки:	Теорія автоматів, Денотаційна семантика
У шлюбі з	Irene Schreier Scott^d^[7]
Родичі	Отто Шреєр^d^[7]
Нагороди	премія Тюрінга (1976) Грант Ґуґґенгайма (1978) премія Гарольда Пендера (1990) Rolf Schock Prize in Logic and Philosophy^d (1997) Gödel Lecturer^d (1991) EATCS award^d (2007) премія Стіла (1972) премія Рольфа Шока (1997) Дійсний член ACM^d (1994) honorary doctor of the University of Utrecht^d honorary doctor of the University of Edinburgh^d член Американського математичного товариства^d (2013)
Особ. сторінка	мова\|англ.] [1]]
Дана Скотт у Вікісховищі