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.
| Authority control |
Media in category "Dana Scott"
The following 2 files are in this category, out of 2 total.
Categories:
- Computer scientists from the United States
- Turing Award laureates
- 1932 births
- 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
- Alumni of Princeton University
- Rolf Schock Prize laureates
- Alumni of the University of California, Berkeley
- Faculty of the University of California, Berkeley
