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
|
||||
| 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)
- 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
