Skip to content

Professor Dana Scott FBA

Philosophy

Elected 1976

Fellow type
UK Emeritus Fellow
Year elected
1976
Sections
Philosophy

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

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

Related Fellows

Professor Margaret Boden FBA

Philosophy of mind and creativity; computational psychology; artificial intelligence

margaret-boden.jpg

Professor Amartya Sen FBA

Economics Philosophy

Amartya-Sen-FBA.jpg

Professor Sir Richard Sorabji FBA

Philosophy of Mind, Ethics, Philosophy of Physics, Metaphysics, History of Greek and Roman Philosophy (all branches) to 600CE, History of Islamic, Philosophy, Indian Philosophy, Philosophy of Church Fathers to 600CE

richard-sorabji.jpg

Sign up to our email newsletters

Preferences

I'm particularly interested in updates on: