Category:Dana Scott
From Wikimedia Commons, the free media repository
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.
Media in category "Dana Scott"
This category contains only the following file.
 |
Categories: Computer scientists from the United States | Turing Award laureates | 1932 births | Living people | People by alphabet | Members of the National Academy of Sciences | 20th century mathematicians | Mathematicians from the United States | Carnegie Mellon University faculty | Fellows of the Association for Computing Machinery | Formal methods people | Programming language researchers | Logicians | Princeton University alumni | Rolf Schock Prize laureates | University of California, Berkeley alumni | University of California, Berkeley faculty
