Category:Dana Scott

From Wikimedia Commons, the free media repository
Jump to: navigation, search
English: Dana Stewart Scott (born 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University.
Deutsch: Dana Stewart Scott (* 1932) ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat.

Dana Scott 
Scott Dana small.jpg
American mathematician and computer scientist
Date of birth11 October 1932
  • mathematician
  • computer scientist
  • engineer
  • topologist
  • university teacher
Member of
  • American Mathematical Society
  • National Academy of Sciences
  • Academia Europaea
  • Finnish Academy of Science and Letters
  • American Academy of Arts and Sciences
  • Association for Computing Machinery
Official website
Authority control

Media in category "Dana Scott"

The following 2 files are in this category, out of 2 total.