Dana Scott
American logician · cs.cmu.edu
>
Dana Stewart Scott is an American logician who 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. Wikipedia
Place of birth: Berkeley, CA
Education: Princeton University (1958), University of California, Berkeley (1954), and Merton College
Spouse: Irene Schreier Scott (m. 1959)
Notable students: Kenneth Kunen, Jack Copeland, Andrej Bauer, and more
Research interests: Logic and Semantics of Programming Languages