Дана Скотт

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Дана Скотт
англ. Dana Stewart Scott
Дана Скотт (2007)
Дана Скотт (2007)
Дана Скотт (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]
НагородиПремія Тюрінга (1976)
Особ. сторінкамова|англ.] [1]]

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

Примітки

Посилання