Jump to content

Dana Scott

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Leibniz (talk | contribs) at 19:14, 26 August 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Dana S. Scott is the incumbent Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. Her contributions include early work in automata theory, for which she received the ACM Turing Award in 1976, and the independence of the Boolean prime ideal theorem.

Scott is also the founder of domain theory, a branch of order theory that is used to model computation and approximation, and that provides the denotational semantics for the lambda calculus.

She received her Bachelor's degree from the University of California, Berkeley in 1954, and her Ph.D. from Princeton University in 1958.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Dana_Scott&oldid=5516921"