Dana S. Scott

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur l'homonymie Pour les articles homonymes, voir Scott.
Dana S. Scott.

Dana Stewart Scott, né le à Berkeley en Californie, é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[modifier | modifier le code]