Pour les articles homonymes, voirScott.
Cet article est uneébauche concernant un mathématicien.
| 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 élu 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 enCalifornie, est unmathématicien etinformaticienaméricain.
Dana Scott est un spécialiste de lathéorie des automates et de lasémantique des langages de programmation. Il a également travaillé enlogique modale,topologie, etthéorie des catégories. Professeur d'informatique et demathématiques à l'université Carnegie-Mellon jusqu'à sa retraite en 2003, il est depuis professeur émérite à l'université Carnegie-Mellon en tant queHillman University Professor of Computer Science, Philosophy and Mathematical Logic. Sa collaboration avecChristopher Strachey dans lesannées 1970 a jeté les bases des approches modernes de lasémantique des langages de programmation.
Dana Scott a reçu plusieurs prix prestigieux tout au long de sa carrière :
Dana Scott a été successivement :
: :Lauréats duprix EATCS | |
|---|---|
