Category:Dana Scott

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
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; matemático y científico de la computación estadounidense; আমেরিকান গণিতবিদ এবং কম্পিউটার বিজ্ঞানী; 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; 美國科學家; американский математик и информатик; ಗಣಿತಜ್ಞ; United States of America karimba ŋun nyɛ doo; American mathematician and computer scientist; usona komputikisto kaj matematikisto; americký matematik a vysokoškolský pedagog zaměřený na matematickou logiku, teorii automatů a sémantiku programovacích jazyků; informatico e matematico statunitense; 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>
Dana Scott 
American mathematician and computer scientist
Scott Dana small.jpg
Upload media
Name in native language
  • Dana Stewart Scott
Date of birth11 October 1932
Berkeley
Country of citizenship
Educated at
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
Occupation
Employer
Member of
Field of work
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)
  • honorary doctor of the University of Utrecht
  • honorary doctor of the University of Edinburgh
  • Fellow of the American Mathematical Society (2013)
official website
Authority control
Wikidata 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
Libraries Australia ID: 35435763
NKCR AUT ID: xx0267847
National Library of Israel ID (old): 000305106
Nationale Thesaurus voor Auteurs ID: 069584737
NORAF ID: 90601455, 90124993
NUKAT ID: n99023766
NLP ID (old): A23402003
PLWABN ID: 9810618466405606
National Library of Israel J9U ID: 987007299816205171
CiNii Books author ID: DA00234668
Mathematics Genealogy Project ID: 8024
Edit infobox data on Wikidata

Media in category "Dana Scott"

The following 3 files are in this category, out of 3 total.