Dana Stewart Scott (born
1932) 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 research career has spanned
computer science,
mathematics, and
philosophy, and has been characterized by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigor, with a cultivation of mathematically hard problems that bear on these concepts. His work on
automata theory earned him the
ACM 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 worked also on
modal logic,
topology, and
category theory. He is the editor-in-chief of the new journal
Logical Methods in Computer Science.
See more at Wikipedia.org...
Free Download Now!
