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 Cecilia Heyes

Experimental and theoretical psychology: evolutionary, developmental and cultural origins of cognitive processes; animal cognition; social cognition; social learning; imitation

Professor Terence Irwin

Ancient Philosophy, especially Plato, Aristotle, Stoicism. Kant. Moral philosophy, especially its history

Professor Jonardon Ganeri

Philosophy, especially of self, consciousness, attention, the epistemology of inquiry, the idea of philosophy as a practice; Indian philosophical traditions; the intellectual history of early modern South Asia; the polycentricity of modernity; cosmopoli

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