Skip Content
UK Emeritus Fellow, Philosophy, elected in 1976

Professor Dana Scott FBA

About this Fellow



Current post

  • 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


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

Other Philosophy Fellows

Professor Alain De Libera

The history of late Ancient and Medieval Philosophy and Theology with a focus on the history of logic, philosophy of mind and metaphysics

Professor Judith Thomson

Normative theory (concerning particularly what makes a normative judgment true, whether moral or non-moral) and metaphysics (concerning particularly the theory of action, part-hood, causality, and identity across time)

Professor Miranda Fricker

Epistemic injustice; their relation to certain political ideas; epistemic vices and virtues; social interpretation; moral relativism; moral emotions and attitudes