Dana S. Scott
Un article de Wikipédia, l'encyclopédie libre.
.png){kind=small} |
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 S. 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.
Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/Dana S. Scott
