Dana S. Scott

My work in logic has mainly been in the areas of model theory, automata, set theory, modal and intuitionistic logic, constructive mathematics, and connections between category theory and logic. Philosophical interests concern the foundations of logic, the philosophy of mathematics, and the semantical analysis of natural language. Work in computer science has been directed to the development of denotational semantics of programming languages and the mathematical foundations of a suitable theory of computability. Current projects aim at unifying the semantical approach with constructive logical formalisms to be able to give rigorous and machine-implementable proof methods and development tools for the "inferential" construction of correct programs. Very recent research with current graduate students aims at combining categories of domains with traditional categories of mathematical structures and studying the computability and type theory that results. Another recent strong interest is in using methods of symbolic mathematical computation (computer algebra). For more information on current research see: http://www.cs.cmu.edu/Groups/LTC/index.html.