Dana Scott

Computer Scientist

Photo Credit »

9 Views

Dana Stewart Scott 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 has spanned computer science, mathematics, and philosophy, and has been characterized by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigor, with a cultivation of mathematically hard problems that bear on these concepts. 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.

Born

Oct 11, 1932
Berkeley

Also known as

Nationality

Profession

Education

Employment

Emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic, Carnegie Mellon University
Professor of Mathematical Logic, University of Oxford
( - 1972)
Assistant Professor of Mathematics, University of California, Berkeley
(1960 - 1963)
University of Chicago
( - 1960)

Lived in

Submitted
on July 23, 2013

Style:MLAChicagoAPA

"Dana Scott." Biographies.net. STANDS4 LLC, 2024. Web. 25 Apr. 2024. <https://www.biographies.net/people/en/dana_scott>.