데이나 스콧

소개

데이나 스튜어트 스콧(영어: Dana Stewart Scott IPA: [ˈdeɪnə ˈstjuːə t ˈskɒt], 1932~)은 미국의 컴퓨터 과학자·수리논리학자이다.

Dana Stewart Scott is an American logician who is the Hillman University Professor emeritus of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. He is now retired and lives in Berkeley, California. He and Michael O. Rabin won the 1976 ACM Turing Award for their work on automata theory, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.