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
Description de cette image, également commentée ci-après

Dana S. Scott (2007)

Naissance
Berkeley (Californie)
Nationalité américain
Champs informatique
mathématiques
Institutions Université de Californie à Berkeley
Université Stanford
Université d'Oxford
Université Carnegie-Mellon
Formation Université de Californie à Berkeley (B.A. mathématiques 1954)
Princeton University (Ph.D. 1958)
Directeur de thèse Alonzo Church
Étudiants en thèse Jack Copeland
Michael Fourman
Kenneth Kunen
Angus Macintyre
Ketan Mulmuley
Marko Petkovšek
Fred S. Roberts
David Turner[1]
Renommé pour théorie des automates, sémantique des langages de programmation
Distinctions 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)
Site page personnelle

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

Dana Scott a reçu le Prix Turing en 1976 et le prix EATCS en 2007 pour son article en collaboration avec Michael O. Rabin sur la théorie des automates. 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.

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]