Category:Dana Scott
Jump to navigation
Jump to 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.
American mathematician and computer scientist  | |||
| Upload media | |||
 Wikipedia | |||
| Date of birth | 11 October 1932 Berkeley | ||
|---|---|---|---|
| Country of citizenship | |||
| Educated at | |||
| Doctoral advisor |
| ||
| Doctoral student |
| ||
| Occupation |
| ||
| Employer | |||
| Member of |
| ||
| Field of work | |||
| Award received |
| ||
| 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:
- 1932 births
- Scott (surname)
- Dana (given name)
- Turing Award laureates
- Guggenheim Fellows
- Fellows of the Association for Computing Machinery
- Fellows of the American Mathematical Society
- Computer scientists from the United States
- 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
- 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
- Births in Berkeley, California
