Dana Scott

Visiting Scholar
Research
Primary Research Area: 
Mathematical Logic
Research Interests: 
Foundations of logic and mathematics, semantics of programming languages
Contact Information
731 Evans Hall
dana [dot] scott [at] cs [dot] cmu [dot] edu