Category:Dana Scott
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.
 American mathematician and computer scientist | ||||
| Wikipedia | ||||
| Date of birth | 11 October 1932 Berkeley | |||
| Occupation |
| |||
| Member of |
| |||
| Official website | ||||
| ||||
Media in category "Dana Scott"
The following 2 files are in this category, out of 2 total.
Andrew Appel, Dana Scott FLoC 2006.jpg 640 × 432; 157 KB
Scott Dana small.jpg 717 × 930; 404 KB
Categories:
- Scott (surname)
- Dana (given name)
- 1932 births
- Computer scientists from the United States
- Turing Award laureates
- 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
