Dana Scott
FameRank: 5

"Dana Stewart Scott" is the emeritus Hillman University Professor of computer science/Computer Science, Philosophy, and mathematical logic/Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career involved computer science, mathematics, and philosophy. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. He is the editor-in-chief of the new journal Logical Methods in Computer Science.

More Dana Scott on Wikipedia.

I am proud of them. No matter what the score was, they always played hard until the very end of each game and gave me all they had. We didn't have much height but played great defense.

It feels like home even though it's so far away.