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