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.
Scott Dana small.jpg 404 KB
Categories:
- Computer scientists from the United States
- Turing Award laureates
- 1932 births
- Members of the United States National Academy of Sciences
- 20th-century mathematicians
- 21st-century mathematicians
- Mathematicians from the United States
- Philosophers from the United States
- Faculty of Carnegie Mellon University
- Fellows of the Association for Computing Machinery
- Formal methods people
- Programming language researchers
- Topologists
- Logicians
- Set theorists
- Alumni of Princeton University
- Rolf Schock Prize laureates
- Alumni of the University of California, Berkeley
- Faculty of the University of California, Berkeley
- Guggenheim Fellows
