CMU Campus
Department of         Mathematical Sciences
Events People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department Alumni
Faculty
Dana S. Scott, Hillman University Professor of Computer Science, Mathematical Logic and Philosophy Emeritus
Ph.D., Princeton University
E-mail: dana.scott@cs.cmu.edu
Office: Wean Hall 4606
Phone: 412-268-3881
Personal web site

Research:

Scott's past work in logic has concerned mainly model theory, automata, set theory, modal and intuitionistic logic, constructive mathematics, and connections between category theory and logic. His 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 developing the denotational semantics of programming languages and the mathematical foundations of a suitable theory of computability. Current research efforts 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. Part of the technique is based on the modelling of computational structures as partially ordered sets in special categories enjoying extensive closure conditions. Background information and some of the mathematical aspects of this theory have been laid out in the jointly authored paper with Carl Gunter mentioned below. A recent development ties up topological spaces and computability; see the second paper cited. Other current projects involve work in symbolic mathematical computation and its uses in teaching. See the third article for an overview and indication of directions of future work. The hope is this work will also lead to better connections with information retrieval, electronic publishing, and more generally studies on the structure and production of electronic text.

Selected Publications:

  • Scott, D. and Birkedal, L., Carboni, A., Rosolini, G. Type Theory via Exact Categories. in: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (1998), pp. 188198.
  • Scott, D. Symbolic Computation and Teaching. in: Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, edited by J. Calmet, J.A. Campbell, and J. Pfalzgraf, vol. 1138 (1996), Springer-Verlag Lecture Notes in Computer Science, pp. 120.
  • Scott, D.S. and C.A. Gunter (1990). Semantic Domains, in Handbook of Theoretical Computer Science: Formal Models and Semantics, Vol. B, Jan Van Leeuwen (editor), Elsevier/MIT Press, pp. 633674.