Dana Scott Scientist

Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career involved 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 foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. He is the editor-in-chief of the new journal Logical Methods in Computer Science.

Personal facts

Birth date	October 11, 1932
Birth place	Berkeley California
Education	Princeton University University of California Berkeley
Known for	Semantics (computer science) Automata theory

Search

Scientist

awards	Turing Award
doctoral advisor	Alonzo Church
doctoral student	Ketan Mulmuley Jack Copeland Kenneth Kunen Angus Macintyre Michael Fourman Marko Petkovšek David Turner (computer scientist) Fred S. Roberts
Field of study	Computer science Mathematics Philosophy