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 Stewart Scott, né le à Berkeley en Californie, est un mathématicien et informaticien américain.

Carrière[modifier | modifier le code]

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 distinctions[modifier | modifier le code]

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

Carrière universitaire[modifier | modifier le code]

Dana Scott a été successivement :

Notes et références[modifier | modifier le code]

Liens externes[modifier | modifier le code]