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