Dana Scott
American logician (born 1932)
Dana Scott
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.
Read on Wikipedia · Image Logos Semantikos, CC0
Open boosters, collect cards and trade them. Free to play.
Play for free