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

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

cecilia-heyes.jpg

Professor Peter Simons FBA

Philosophy Central Europe Austria Germany Metaphysics History of Philosophy Logic Philosophy of Language USA, Canada and/or Mexico East Africa Eastern Europe including Russia Poland Northern Europe Scandinavia including Finland Southern Europe Italy Western Europe Ireland France Netherlands Belgium Portugal Switzerland East Asia China, Hong Kong, Japan

peter-simons.jpg

Professor John Maria Skorupski FBA

Philosophy, history of philosophy since Kant

John Maria Skorupski FBA

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.