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 Katz; Carl Allen Gunter; Peter Holger Krauss; Daniel B. Demaree; Daniel Gallin; Edgar George Kenneth Lopez-Escobar; Peter Perkins; Nicolas Daniels Goodman; Richard Beech Mansfield; William Frederick Ogden; Ljubomir Perkovic; Lars Birkedal; Kim Ritter Wagner; J. Todd Wilson; Vijay Saraswat; Jesse Hughes; Michael B. Smyth; Brian Farrell Chellas; K. Krister (Karl) Segerberg; William James Meyers; Shun-On Adrian Tang; Jay David Atlas; Martin K. Davies; Robin John Grayson; William Bragg Ewald; John Cartmell; Joseph E. Quinsey; Stephen R. Blamey; Marcus Giaquinto; Joseph Almog; Felipe Bracho; David Charles McCarty; Sidney C. Bailin; Giuseppe Rosolini; John L. Mumma; Christopher Carlson; Jeff Heisserman;
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	American Mathematical Society; 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;
Field of work	lattice; mathematical logic; model theory; topology; computer programming;
Spouse	Irene Schreier Scott;
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); Fellow of the American Mathematical Society; honorary doctor of the University of Utrecht; honorary doctor of the University of Edinburgh;
	Official website
Authority control
	Q49823; ISNI: 0000 0001 1068 0677; VIAF ID: 65289661; GND ID: 1090819455; Library of Congress authority ID: n79118951; Bibliothèque nationale de France ID: 16034934c; IdRef ID: 082943141; CiNii author ID (books): DA00234668; Libraries Australia ID: 35435763; Mathematics Genealogy Project ID: 8024; National Library of Israel ID: 000305106; Nationale Thesaurus voor Auteurs ID: 069584737; NORAF ID: 90601455; NLP ID (unique): A23402003
	Reasonator; PetScan; Scholia; Statistics; OpenStreetMap; Locator tool; 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.

Dana Scott (es); Dana Scott (hu); Dana Scott (ast); Дана Скотт (ru); Dana Scott (de-ch); Dana Scott (cy); Dana Scott (sq); دانا اسکات (fa); 达纳·斯科特 (zh); Dana Scott (da); Dana Scott (ro); デイナ・スコット (ja); Dana S. Scott (mg); دانا سكوت (arz); דיינה סקוט (he); Dana Scott (fi); Dana Scott (en-ca); Dana Scott (cs); Dana Scott (it); ডানা স্টুয়ার্ট স্কট (bn); Dana S. Scott (fr); Dana Scott (ht); Dana Scott (nl); Dana Scott (sk); 데이나 스콧 (ko); Dana Scott (en); Дейна Скот (bg); Dana Scott (pt); Dana Scott (nn); Dana Scott (sv); Dana Scott (en-gb); Дејна Скот (sr); Dana Scott (sl); Dana Scott (sh); Dana Scott (pt-br); Дана Скотт (uk); Dana Scott (id); Dana Scott (pl); Dana Scott (nb); Dana Skott (az); Dana Scott (ca); دینا اسکات (azb); Dana Scott (tr); Dana Scott (de); Dana Scott (gl); دانا سكوت (ar); Ντέινα Σκοτ (el); Dana Scott (ga) informatico e matematico statunitense (it); আমেরিকান গণিতবিদ এবং কম্পিউটার বিজ্ঞানী (bn); matemàtic, lògic, informàtic i filòsof estatunidenc (ca); US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph (de); matamaiticeoir agus ríomheolaí Meiriceánach (ga); ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی (fa); amerikansk matematiker, informatiker og ingeniør (da); Amerikalı matematikçi ve bilgisayar bilimcisi (tr); amerikansk matematiker, datavetare och ingenjör (sv); amerikansk matematikar, informatikar og ingeniør (nn); amerikansk matematiker, informatiker og ingeniør (nb); Amerikaans wiskundige (nl); 美國科學家 (zh-hant); ಗಣಿತಜ್ಞ (kn); American mathematician and computer scientist (en); americký informatik, matematik a filozof (cs); американский математик и информатик (ru) Скотт, Дана (ru); Dana Stewart Scott, Dana S. Scott (de); Dana Stewart Scott (pt); Dana S. Scott, Dana Stewart Scott (en); Dana Stewart Scott (gl); Dana Stewart Scott (es); Dana Stewart Scott, Dana S. Scott (ast)