# 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.