Category:Dana Scott

**Dana Scott**
	American mathematician and computer scientist
	Upload media
	Wikipedia
Name in native language	Dana Stewart Scott;
Date of birth	11 October 1932; Berkeley
Country of citizenship	United States of America;
Educated at	Princeton University; University of California, Berkeley;
Doctoral advisor	Alonzo Church;
Doctoral student	Jack Copeland; Michael Fourman; Kenneth Kunen; Angus Macintyre; Ketan Mulmuley; Marko Petkovšek; Fred S. Roberts; David Turner; Kosta Došen; William Chesley Rounds; Jon Barwise; Roy Dyckhoff; James Daniel Halpern; Andrej Bauer; Michael L. Katz; Carl A. Gunter; Peter Holger Krauss; Daniel B. Demaree; Daniel Gallin; Edgar George Kenneth Lopez-Escobar; …;
Occupation	mathematician; computer scientist; engineer; topologist; university teacher;
Employer	University of California, Berkeley; University of Chicago; Carnegie Mellon University; Johannes Kepler University Linz;
Member of	National Academy of Sciences; Academia Europaea (AE section Informatics, 1992–); Finnish Academy of Science and Letters; American Academy of Arts and Sciences; Association for Computing Machinery; American Mathematical Society (Fellow of the American Mathematical Society, 2012–);
Field of work	lattice; mathematical logic; model theory; topology; computer programming; automata theory; semantics; programming language;
Spouse	Irene Schreier Scott;
Relative	Otto Schreier (wife's father);
Award received	Turing Award (1976); Guggenheim Fellowship (1978); Harold Pender Award (1990); Rolf Schock Prize in Logic and Philosophy (1997); Gödel Lecturer (1991); EATCS award (2007); Leroy P. Steele Prize (1972); Rolf Schock Prizes (1997); ACM Fellow (1994); honorary doctor of the University of Utrecht; honorary doctor of the University of Edinburgh; Fellow of the American Mathematical Society (2013);
	official website
Authority file
	Q49823; ISNI: 0000000110680677; VIAF ID: 65289661; GND ID: 1090819455; Library of Congress authority ID: n79118951; Bibliothèque nationale de France ID: 16034934c; IdRef ID: 082943141; Libraries Australia ID: 35435763; NL CR AUT ID: xx0267847; National Library of Israel ID (old): 000305106; Nationale Thesaurus voor Auteursnamen ID: 069584737; NORAF ID: 90601455, 90124993; NUKAT ID: n99023766; NLP ID (old): a0000002340200; PLWABN ID: 9810618466405606; National Library of Israel J9U ID: 987007299816205171; NACSIS-CAT author ID: DA00234668; Mathematics Genealogy Project ID: 8024
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

English: Dana Stewart Scott (born 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University.

Deutsch: Dana Stewart Scott (* 1932) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat.

<nowiki>Dana Scott; Dana Scott; Dana Scott; Дана Скотт; Dana Scott; Dana Scott; Дана Скот; دانا اسکات; 达纳·斯科特; Dana Scott; Dana Scott; デイナ・スコット; Dana S. Scott; دانا سكوت; דיינה סקוט; Dana Scott; Dana Scott; Dana Scott; Dana Scott; Dana Scott; ডানা স্টুয়ার্ট স্কট; Dana S. Scott; Dana Scott; Dana Scott; Dana Scott; Dana Scott; Дейна Скот; Dana Scott; Dana Scott; Dana Scott; Dana Scott; Dana Scott; Dana Scott; دینا اسکات; Дејна Скот; Dana Scott; Dana Scott; Dana Scott; Дана Скотт; Dana Scott; Dana Scott; Dana Scott; Dana Skott; 데이나 스콧; Dana Scott; Dana Scott; Dana Scott; Dana Scott; دانا سكوت; Ντέινα Σκοτ; Dana Scott; informatico e matematico statunitense; আমেরিকান গণিতবিদ এবং কম্পিউটার বিজ্ঞানী; mathématicien et informaticien américain; matemàtic, lògic, informàtic i filòsof estatunidenc; US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph; matamaiticeoir agus ríomheolaí Meiriceánach; ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی; amerikansk matematiker, informatiker og ingeniør; Amerikalı matematikçi ve bilgisayar bilimcisi; アメリカの計算機科学者、数学者、論理学者; американский математик и информатик; amerikansk matematiker, datavetare och ingenjör; amerikansk matematikar, informatikar og ingeniør; amerikansk matematiker, informatiker og ingeniør; Amerikaans wiskundige; 美國科學家; americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků; ಗಣಿತಜ್ಞ; United States of America karimba ŋun nyɛ doo; American mathematician and computer scientist; usona komputikisto kaj matematikisto; 美国科学家; matemático y científico de la computación estadounidense; Dana Stewart Scott; Dana S. Scott; Dana S. Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott; Dana S. Scott; Скотт, Дана; Dana Stewart Scott; Dana Stewart Scott; Dana S. Scott; Dana Stewart Scott; Dana Stewart Scott; Dana S. Scott; Dana Stewart Scott; Dana Stewart Scott; Dana Stewart Scott</nowiki>