Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00857371n
Noun Named Entity
Categories: Lattice theorists, American computer scientists, University of Chicago faculty, Fellows of the American Mathematical Society, 21st-century American engineers
EN
Dana Scott  D. S. Scott  Dana S. Scott  Dana Stewart Scott
EN
Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. Wikipedia
Definitions
Relations
Sources
EN
Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. Wikipedia
IS A
homo
ACADEMIC DEGREE
Doctor of Philosophy
AWARD RECEIVED
Harold Pender Award
Leroy P. Steele Prize
Guggenheim Fellowship
Rolf Schock Prizes
Turing Award
+3 relations
COUNTRY OF CITIZENSHIP
United States
DOCTORAL ADVISOR
Alonzo Church
DOCTORAL STUDENT
David Turner
Angus Macintyre
Marko Petkovšek
Fred S. Roberts
Ketan Mulmuley
+5 relations
EDUCATED AT
Princeton University
University of California at Berkeley
EMPLOYER
Carnegie Mellon University
University of California at Berkeley
University of Chicago
Johannes Kepler University Linz
FAMILY NAME
Scott
FIELD OF WORK
topology
programming
symbolic logic
model theory
lattice
GIVEN NAME
Dana
MEMBER OF
National Academy of Sciences
American Mathematical Society
Finnish Academy of Science and Letters
Association for Computing Machinery
American Academy of Arts and Sciences
+1 relations
OCCUPATION
engineer
computer scientist
mathematician
professeur des universités
PLACE OF BIRTH
Berkeley
RELATIVE
Otto Schreier
SEX OR GENDER
male
Wikipedia
EN
Dana Scott
Wikidata
EN
Dana Scott
Wikipedia Redirections
EN
D. S. Scott, Dana S. Scott, Dana Stewart Scott
Wikidata Alias
EN
Dana S. Scott, Dana Stewart Scott

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License