Dana S. Scott
Un article de Wikipédia, l'encyclopédie libre.
.png/27px-Noether_(petite_image).png){kind=small} |
Cet article est une ébauche concernant un mathématicien.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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.
