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…