Dana Scott
Senior Advisor
Topos US
Dana Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. Along with Michael Rabin, he was awarded the 1976 Turing Award for their joint work on automata theory. Some of his many seminal contributions relate to modal logic, model theory, set theory, topos theory, and the theory of programming languages. He is known in particular for his creation of domain theory, a branch of mathematics that is applied to programming-language semantics.