Research Interests

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.

Membership Type

Member

Election Year

1988

Primary Section

Section 34: Computer and Information Sciences

Secondary Section

Section 11: Mathematics