Dana Scott University Professor Emeritus Office: Gates & Hillman Centers Email: scott@andrew.cmu.edu Department: Computer Science Department Web site: http://www.cs.cmu.edu/~scott