Dana S. Scott
Pour les articles homonymes, voir Scott.
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
| Naissance | |
|---|---|
| Nom dans la langue maternelle |
Dana Stewart Scott |
| Nationalité | |
| Formation | |
| Activités | |
| Conjoint |
Irene Schreier Scott (d) |
| Parentèle |
Otto Schreier (beau-père) |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Distinctions |
Prix Turing () Liste détaillée Prix Leroy P. Steele () Prix Turing () Bourse Guggenheim () Prix Harold-Pender () Gödel Lecturer () ACM Fellow () Prix Schock () Prix Schock de logique et philosophie () Prix EATCS () Membre honoraire de l'American Mathematical Society () Docteur honoris causa de l'université d'Édimbourg Docteur honoris causa de l'université d'Utrecht |
Dana Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.
Carrière[modifier | modifier le code]
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[modifier | modifier le code]
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 Rabin sur la théorie des automates.
- 2009 : médaille d'or de l'Institut Sobolev.
Carrière universitaire[modifier | modifier le code]
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[modifier | modifier le code]
- « Dana Stewart Scott », Mathematics Genealogy Project, université d'État du Dakota du Nord (consulté le )
Liens externes[modifier | modifier le code]
- Site officiel
- Ressources relatives à la recherche :
- Notice dans un dictionnaire ou une encyclopédie généraliste :
- Personnalité américaine de l'informatique
- Personnalité en informatique théorique
- Mathématicien américain du XXe siècle
- Logicien américain
- Personnalité en logique mathématique
- Personnalité en théorie des ensembles
- Personnalité en théorie des modèles
- Boursier Guggenheim
- Étudiant de l'université de Californie à Berkeley
- Étudiant de l'université de Princeton
- Professeur à l'université de Californie à Berkeley
- Professeur à l'université de Chicago
- Professeur à l'université Carnegie-Mellon
- Docteur honoris causa de l'université d'Utrecht
- Docteur honoris causa de l'université d'Édimbourg
- Docteur honoris causa de l'université de Ljubljana
- Docteur honoris causa de l'université de technologie de Darmstadt
- Lauréat du prix Turing
- Lauréat du prix EATCS
- Lauréat du prix Schock
- Lauréat du prix Leroy P. Steele
- Gödel Lecturer
- Tarski Lecturer
- Membre de l'Académie nationale des sciences
- Membre de l'American Mathematical Society
- Logique modale
- Naissance en octobre 1932
- Naissance à Berkeley (Californie)