Skip to content

Professor Dana Scott FBA

Philosophy
Fellow type
UK Emeritus Fellow
Year elected
1976
Subjects
Philosophy
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

Other Fellows of the British Academy

Professor Terence Irwin FBA

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

terence-irwin.jpg

Professor Philip Kitcher FBA

Philosophy of science; philosophical issues in music and literature; systematic version of pragmatism

Philip-Kitcher-FBA.JPG

Professor Gregory Currie FBA

The philosophy of the visual and narrative arts and their relations to human cognition and its evolution

Gregory-Currie-FBA.jpg

Sign up to our email newsletters

Join our mailing list to explore the ideas and impact of the British Academy. Get updates on research, funding, policy, international collaborations, and events that bring the humanities and social sciences to life.