• Adam KohlhaasTuesday, February 24, 2026Print this page. • Dana Scott, the Hillman University Professor of Computer Science, Philosophy and Mathematical Logic (Emeritus), has received the 2025 K. • Jon Barwise Prize from the American Philosophical Association. • The prize recognizes significant and sustained contributions to areas of philosophy relevant to computer science, including logic, philosophy of language and formal semantics. • Scott, who received the 1976 A.M. • Turing Award for joint work with Michael Rabin on automata theory, is widely regarded as a foundational figure in mathematical logic and theoretical computer science.

Article Summaries:

  • Adam KohlhaasTuesday, February 24, 2026Print this page. Dana Scott, the Hillman University Professor of Computer Science, Philosophy and Mathematical Logic (Emeritus), has received the 2025 K. Jon Barwise Prize from the American Philosophical Association. The prize recognizes significant and sustained contributions to areas of philosophy relevant to computer science, including logic, philosophy of language and formal semantics. Scott, who received the 1976 A.M. Turing Award for joint work with Michael Rabin on automata theory, is widely regarded as a foundational figure in mathematical logic a

Sources: