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 Michael Ayers FBA

History of Philosophy Philosophy of Language Metaphysics Epistemology

michael-ayers.jpg

Professor John Hawthorne FBA

Philosophy of language, metaphysics and epistemology

john-hawthorne.jpg

Professor Miranda Fricker FBA

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

miranda-fricker.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.