Dana S. Scott

(Redirigé depuis Dana Scott)
Dana Stewart Scott
Scott Dana small.jpg
Dana S. Scott (2007)
Biographie
Naissance
Nom dans la langue maternelle
Dana Stewart ScottVoir et modifier les données sur Wikidata
Nationalité
Formation
Université de Californie à Berkeley (B.A. mathématiques 1954)
Princeton University (Ph.D. 1958)
Activités
Conjoint
Irene Schreier Scott (d)Voir et modifier les données sur Wikidata
Parentèle
Otto Schreier (beau-père)Voir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Membre de
Dir. de thèse
Site web
Distinction
Prix Leroy P. Steele (1972)
Prix Turing (1976)
Prix Harold Pender (1990)
Prix Schock (1997)
Médaille Bolzano de l'Académie tchèque des sciences (2001)
Prix EATCS (2007)
Médaille d'or de l'Institut Sobolev (2009)

Dana Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.

CarrièreModifier

Dana Scott est un spécialiste de la théorie des automates et de la sémantique des langages de programmation. Il a également travaillé en logique modale, topologie, et théorie des catégories. Professeur d'informatique et de mathématiques à l'université Carnegie-Mellon jusqu'à sa retraite en 2003, il est depuis professeur émérite à l'université Carnegie-Mellon en tant que Hillman University Professor of Computer Science, Philosophy and Mathematical Logic. 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.

Prix et distinctionsModifier

Dana Scott a reçu plusieurs prix prestigieux tout au long de sa carrière :

Carrière universitaireModifier

Dana Scott a été successivement :

Notes et référencesModifier

Liens externesModifier