Top Qs
Chronologie
Chat
Contexte

Dana S. Scott

mathématicien et informaticien américain De Wikipédia, l'encyclopédie libre

Dana S. Scott
Remove ads

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

Faits en bref Naissance, Nom dans la langue maternelle ...
Remove ads

Carrière

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.

Remove ads

Prix et distinctions

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

Remove ads

Carrière universitaire

Dana Scott a été successivement :

Notes et références

Liens externes

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads