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.
image illustrant un mathématicien
Cet article est une ébauche concernant un mathématicien.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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]