Dana S. Scott

Dana Stewart Scott
Description de cette image, également commentée ci-après
Dana S. Scott (2007)
Naissance (85 ans)
Berkeley (Californie)
Nationalité américain
Domaines 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.

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.

Prix et distinctions

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

Carrière universitaire

Dana Scott a été successivement :

Notes et références

  1. « Dana Stewart Scott », Mathematics Genealogy Project, North Dakota State University (consulté le 26 décembre 2011)

Liens externes