Dana Scott

Dana Scott, né en 1932, est un logicien et informaticien américain dont les recherches ont établi les fondements mathématiques des langages de programmation. Ses travaux sur la sémantique formelle et la théorie des automates ont transformé la manière dont les machines interprètent des instructions complexes, comblant le fossé entre la logique mathématique abstraite et l'application pratique de la programmation informatique dans le paysage de l'ingénierie du XXe siècle.

Recherche initiale et théorie des automates

Scott a commencé son parcours académique à l'Université de Californie à Berkeley et à l'Université de Princeton, où il a obtenu un doctorat. Lors d'un stage chez IBM en 1957, il a collaboré avec Michael O. Rabin. Leurs recherches communes ont introduit le concept d'automates finis non déterministes, une percée dans la théorie des automates qui leur a valu le prix Turing en 1976.

Contributions à la logique et à la théorie des ensembles

Pendant son mandat à l'Université de Chicago puis à Berkeley, Scott s'est concentré sur la logique mathématique et la théorie des ensembles. Il a prouvé l'incompatibilité de l'axiome de constructibilité avec les cardinaux mesurables. Sa publication de 1967 concernant l'indépendance de l'hypothèse du continu a utilisé des modèles à valeurs booléennes, une recherche qui a abouti au prix Leroy P. Steele en 1972.

Sémantique dénotationnelle et théorie des domaines

Alors qu'il était professeur à l'Université d'Oxford de 1972 à 1981, Scott a collaboré avec Christopher Strachey pour développer la sémantique dénotationnelle. Il a formulé la théorie des domaines pour fournir une base mathématique aux fonctions récursives et aux structures de contrôle. Ce travail, qui a étendu les paradigmes sémantiques de Tarski aux langages de programmation, a été reconnu par le prix Rolf Schock en 1997.

Nominations académiques et affiliations

Scott a occupé des postes d'enseignant dans de nombreuses institutions, notamment l'Université de Stanford, l'Université d'Amsterdam, l'Université de Princeton et l'Université Johannes Kepler de Linz. Il a terminé sa carrière académique formelle à l'Université Carnegie Mellon, où il a servi de 1981 à 2003. Il est membre d'organisations prestigieuses telles que la British Academy, la National Academy of Sciences et l'American Mathematical Society.

Faits rapides

- Né : 1932, Berkeley - Éducation : Université de Californie, Berkeley ; Université de Princeton - Domaine principal : Logique mathématique et informatique - Lauréat du prix Turing : 1976 - Théorie notable : Théorie des domaines - Collaborateur clé : Michael O. Rabin - Prix notable : Prix Rolf Schock (1997) - Carrière académique : Université Carnegie Mellon (1981-2003)

Questions posées par les lecteurs

### Pour quoi Dana Scott est-il le plus connu ?

Il est surtout connu pour avoir créé la théorie des domaines et établi les fondements mathématiques de la sémantique des langages de programmation, travaillant souvent en collaboration avec Christopher Strachey.

### Pour quelle recherche Scott a-t-il reçu le prix Turing ?

Il a reçu le prix Turing 1976 avec Michael O. Rabin pour leur article commun de 1959 introduisant le concept d'automates finis non déterministes.