Dana Scott
American logician (born 1932) / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Dana Scott?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Dana Stewart Scott (born October 11, 1932) 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. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (February 2018) |
Quick Facts Born, Education ...
Dana Stewart Scott | |
---|---|
Born | (1932-10-11) October 11, 1932 (age 91) |
Education | UC Berkeley (B.A., 1954) Princeton University (Ph.D., 1958) |
Known for |
|
Awards |
|
Scientific career | |
Fields | |
Institutions | |
Thesis | Convergent Sequences of Complete Theories (1958) |
Doctoral advisor | Alonzo Church |
Doctoral students | |
Close