Dana S. Scott
Dana Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.
Pour les articles homonymes, voir Scott.

Naissance |
Berkeley (Californie) |
---|---|
Nationalité | américain |
Domaines |
informatique mathématiques |
---|---|
Institutions |
Université de Californie à Berkeley Université Stanford Université d'Oxford Université Carnegie-Mellon |
Formation |
Université de Californie à Berkeley (B.A. mathématiques 1954) Princeton University (Ph.D. 1958) |
Directeur de thèse | Alonzo Church |
Étudiants en thèse |
Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner[1] |
Renommé pour | théorie des automates, sémantique des langages de programmation |
Distinctions |
Prix Leroy P. Steele (1972) Prix Turing (1976) Prix Harold Pender (1990) Prix Schock (1997) Médaille Bolzano de l'Académie tchèque des sciences (2001) Prix EATCS (2007) Médaille d'or de l'Institut Sobolev (2009) |
Site | page personnelle |
Carrière
Dana Scott est un spécialiste de la théorie des automates et de la sémantique des langages de programmation. Il a également travaillé en logique modale, topologie, et théorie des catégories. Professeur d'informatique et de mathématiques à l'université Carnegie-Mellon jusqu'à sa retraite en 2003, il est depuis professeur émérite à l'université Carnegie-Mellon en tant que Hillman University Professor of Computer Science, Philosophy and Mathematical Logic. Sa collaboration avec Christopher Strachey dans les années 1970 a jeté les bases des approches modernes de la sémantique des langages de programmation.
Prix et distinctions
Dana Scott a reçu plusieurs prix prestigieux tout au long de sa carrière :
- 1972 : Prix Leroy P. Steele
- 1976 : Prix Turing
- 1990 : Prix Harold Pender
- 1991 : Gödel Lecturer avec une conférence intitulée Will Logicians be Replaced by Machines?
- 1997 : Prix Schock
- 2001 : Médaille Bolzano de l'Académie tchèque des sciences
- 2007 : prix EATCS pour son article en collaboration avec Michael O. Rabin sur la théorie des automates.
- 2009 : Médaille d'or de l'Institut Sobolev.
Carrière universitaire
Dana Scott a été successivement :
- 1958-1960 Enseignant (instructor), Université de Chicago
- 1960-1963 Professeur assistant (assistant professor), puis professeur associé (associate professor) de mathématiques, Université de Californie à Berkeley
- 1963-1967 Professeur associé de logique et mathématiques, Université Stanford
- 1967-1969 Professeur de logique et mathématiques, Université Stanford
- 1968-1969 Professeur invité de mathématiques, Université d'Amsterdam
- 1969-1972 Professeur de philosophie et mathématiques, Université de Princeton
- 1972-1981 Professeur de logique mathématique, Université d'Oxford
- 1981-2003 Professeur d'informatique, de logique mathématique et de philosophie, Université Carnegie-Mellon
- 1992-1993 Professeur invité de mathématiques, Université de Linz
- depuis 1993 Professeur émérite
Notes et références
Liens externes
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- CiNii
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale de Pologne
- Bibliothèque nationale de Pologne
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Réseau des bibliothèques de Suisse occidentale
- Bibliothèque nationale d’Australie
- Base de bibliothèque norvégienne
- Bibliothèque nationale tchèque
- WorldCat
- Ressources relatives à la recherche :
- Portail des mathématiques
- Portail de la logique
- Portail de l'informatique théorique