Skip Content

Professor Dana Scott

Hillman University Professor of Computer Science, Mathematical Logic and Philosophy Emeritus, Carnegie Mellon University
Past appointments
  • Professor of Mathematical Logic, University of Oxford, 1972 - 1981
  • Hillman University Professor of Computer Science, Philosophy and Mathematical Logic, Carnegie Mellon University, Pittsburg, 1981 -
Principal publications
  • Semantic domains Handbook of the theoretical computer science: formal models and semantics 1990
  • Symbolic computation and teaching Artificial intelligence and symbolic mathematical computation, AISMC-3 1996
  • Type theory via exact categories Proceedings of the 13th annual IEEE symposium on Logic in Computer Science 1998

By continuing to use the site, you agree to the use of cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.