Visitor

Research Primary Research Area:
Mathematical Logic

Research Interests:
Foundations of logic and mathematics, semantics of programming languages

Contact Information 731 Evans Hall

scott [at] andrew [dot] cmu [dot] edu