English Wikipedia - The Free Encycl...
Download this dictionary
Dana Scott
Dana Stewart Scott
(born October 11, 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 involved
computer science
,
mathematics
, and
philosophy
. 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
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License