Category:Dana Scott
Zur Navigation springen
Zur Suche springen
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.
US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph | |||||
Medium hochladen | |||||
Name in Muttersprache |
| ||||
---|---|---|---|---|---|
Geburtsdatum | 11. Oktober 1932 Berkeley | ||||
Land der Staatsangehörigkeit | |||||
Besuchte Bildungseinrichtung | |||||
Promotionsbetreuer |
| ||||
Doktorand |
| ||||
Tätigkeit | |||||
Arbeitgeber | |||||
Mitglied von |
| ||||
Arbeitsgebiet | |||||
Ehepartner(in) |
| ||||
Verwandte |
| ||||
Auszeichnung |
| ||||
offizielle Website | |||||
| |||||
Medien in der Kategorie „Dana Scott“
Folgende 4 Dateien sind in dieser Kategorie, von 4 insgesamt.
-
2012-06-15 Dana Scott on Turing and λ.jpg 1.200 × 1.500; 646 KB
-
Andrew Appel, Dana Scott FLoC 2006.jpg 640 × 432; 157 KB
-
Dana Scott 2015.jpg 3.091 × 2.048; 4,17 MB
-
Scott Dana small.jpg 717 × 930; 404 KB
Kategorien:
- Scott (surname)
- Dana (given name)
- 1932 births
- Laureates of the Turing Award
- Guggenheim Fellows
- Leroy P. Steele Prize recipients
- Rolf Schock Prize laureates
- Fellows of the Association for Computing Machinery
- Honorary doctors of Universiteit Utrecht
- Honorary doctors of Edinburgh University
- Fellows of the American Mathematical Society
- Female computer scientists from the United States
- Members of the United States National Academy of Sciences
- 20th-century mathematicians
- 21st-century mathematicians
- Male 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
- Alumni of the University of California, Berkeley
- Faculty of the University of California, Berkeley
- Births in Berkeley, California