Professor Dana Scott FBA


Elected 1976

Fellow type
UK Emeritus Fellow
Year elected

Current post

Hillman University Professor of Computer Science, Mathematical Logic and Philosophy Emeritus, Carnegie Mellon University

Past appointments

Carnegie Mellon University, Pittsburg Hillman University Professor of Computer Science, Philosophy and Mathematical Logic

1981 -

University of Oxford Professor of Mathematical Logic

1972 - 1981


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

Sign up to our email newsletters