- Dana S. Scott
-
Pour les articles homonymes, voir Scott.
Dana S. Scott.
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.
Liens externes
- (en) Publications de Dana S. Scott sur DBLP
- (en) Publications de Dana S. Scott sur ScientificCommons
Catégories :- Personnalité américaine en informatique
- Mathématicien du XXe siècle
- Mathématicien américain
- Informaticien
- Naissance en 1932
- Lauréat du prix Turing
- Logicien
- Logique modale
- Personnalité en informatique théorique
Wikimedia Foundation. 2010.
