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