Page d'aide sur l'homonymie Pour les articles homonymes, voir Scott.

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