Dana Scott
Dana 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 in
1976, 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.
External links