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.
|
Dana Stewart Scott, né en 1932, était professeur d'informatique et de mathématiques à l'université Carnegie Mellon. Il est actuellement retraité mais possède un titre de professeur émérite ("Hillman University Professor").
Ses travaux de recherche, qui recoupent à la fois l'informatique, les mathématiques et la philosophie, se sont caractérisés par le souci d'élaborer des concepts fondamentaux de façon rigoureuse mais claire et par une étude des difficultés mathématiques sous-jacentes à ces concepts. Son travail sur la théorie des automates lui a valu le prix Turing en 1976 et le prix de l'EATCS en 2007, et 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.
Il a travaillé également sur les logiques modales, la topologie et la théorie des catégories.
[modifier] Liens externes
- (en) Publications de Dana S. Scott sur DBLP
- (en) Publications de Dana S. Scott sur ScientificCommons
