People / Dana Scott

Senior Advisor

About

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.

Blog posts

Seventy Years Using Fixed Points

Having first heard about theorems on fixed points as an undergraduate, uses for them came into my research on many subsequent occasions. The talk will review some personal history and give some suggestions for possible further applications.

Dana Scott

2023-03-29