title: Dana S. Scott
text: # Dana S. Scott
  
  Dana Stewart Scott, né le 11 octobre 1932 à 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 :
  
  * 1972 : Prix Leroy P. Steele
  * 1976 : Prix Turing
  * 1990 : Prix Harold Pender
  * 1991 : Gödel Lecturer avec une conférence intitulée Will Logicians be Replaced by Machines?
  * 1997 : Prix Schock
  * 2001 : Médaille Bolzano de l'Académie tchèque des sciences
  * 2007 : prix EATCS pour son article en collaboration avec Michael O. Rabin sur la théorie des automates.
  * 2009 : Médaille d'or de l'Institut Sobolev.
  
  ## Carrière universitaire
  
  Dana Scott a été successivement :
  
  * 1958-1960 Enseignant (instructor), Université de Chicago
  * 1960-1963 Professeur assistant (assistant professor), puis professeur associé (associate professor) de mathématiques, Université de Californie à Berkeley
  * 1963-1967 Professeur associé de logique et mathématiques, Université Stanford
  * 1967-1969 Professeur de logique et mathématiques, Université Stanford
  * 1968-1969 Professeur invité de mathématiques, Université d'Amsterdam
  * 1969-1972 Professeur de philosophie et mathématiques, Université de Princeton
  * 1972-1981 Professeur de logique mathématique, Université d'Oxford
  * 1981-2003 Professeur d'informatique, de logique mathématique et de philosophie, Université Carnegie-Mellon
  * 1992-1993 Professeur invité de mathématiques, Université de Linz
  * depuis 1993 Professeur émérite
  