Dana Scott
University Professor Emeritus
Email scott@andrew.cmu.edu
Department
Computer Science Department