Dana ScottDana S. Scott
is the incumbent Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic
at Carnegie Mellon University
. His contributions include early work in automata theory
, for which he received the ACM Turing Award
, and the independence of the Boolean prime ideal theorem
. His domain theory
models computation and approximation.
He received his Bachelor's degree from the University of California, Berkeley in 1954, and his Ph.D from Princeton University in 1958.