Dana Scott

FBA
Honorary Fellow

Professor Dana Scott FBA is emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University, Pennsylvania. His research career has spanned computer science, mathematics, and philosophy, and he was jointly awarded the A.M. Turing Award in 1976 for his work on automata theory.