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
Type theory via exact categories, 1998
Symbolic computation and teaching, 1996
Semantic domains, 1990

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.