# Dana Scott

## University of California - Berkeley & Carnegie Mellon University

### external web page

Dana Stewart Scott is the emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logical at Carnegie Mellon University; he now lives in Berkeley California. His research career involves computer science, mathematics, and philosophy. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundation of modern approaches to the semantics of programming languages. He has also made fundamental contributions in modal logic, topology, and category theory.

Dana Scott has 1 talk in our database: