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.
