Dana Scott

History Claim

American mathematician and computer scientist

Born
11 October 1932, Berkeley
Age
94
Dana Scott
Image: Wikimedia Commons · About this image

Dana Stewart Scott (born October 11, 1932) is a retired American logician. Along with Michael O. Rabin he received the 1976 ACM Turing Award for their joint work on automata theory. He has made seminal contributions to automata theory, modal logic, set theory, and the theory of programming languages. He created domain theory, a branch of mathematics that provides a foundation for the theory of programming languages and computability.

from Wikipedia

Dana Scott’s social media accounts

Social

Web

3 external identifiers

Something wrong with this entry? Report it · How corrections work

Last updated · Handles last checked · How we check