Dana S. Scott

Biographie
Naissance	11 octobre 1932 (93 ans); Berkeley (Californie)
Nom dans la langue maternelle	Dana Stewart Scott
Nationalité	américain
Formation	Université de Californie à Berkeley (baccalauréat ès arts) (jusqu'à juin 1954); Université de Princeton (docteur en philosophie) (jusqu'à juin 1958)
Activités	Mathématicien, professeur d'université, logicien, topologue, informaticien, ingénieur, philosophe
Conjoint	Irene Schreier Scott (d)
Parentèle	Otto Schreier (beau-père)
A travaillé pour	Université de Linz (1992-1993); Université Carnegie-Mellon (1981-2003); Université d'Oxford (1972-1981); Université de Princeton (1969-1972); Université d'Amsterdam (1968-1969); Université Stanford (1967-1969); Université de Californie à Berkeley (1962-1963); Université de Californie à Berkeley (1960-1962); Université de Chicago (jusqu'en 1960)
Membre de	Academia Europaea (1992); Association for Computing Machinery (1994); American Mathematical Society (2012); Kurt Gödel Society (en); Association américaine pour l'avancement des sciences; Académie américaine des sciences; Académie américaine des arts et des sciences; British Academy; Académie finlandaise des sciences; Académie des sciences de New York
Directeur de thèse	Alonzo Church
Site web	www.cs.cmu.edu/~scott
Distinctions	Prix Turing (1976); Liste détaillée Prix Leroy P. Steele (1972); Prix Turing (1976); Bourse Guggenheim (1978); Docteur honoris causa de l'université d'Utrecht (1986); Prix Harold-Pender (1990); Gödel Lecturer (1991); ACM Fellow (1994); Docteur honoris causa de l'université d'Édimbourg (1995); Prix Schock (1997); Prix Schock de logique et philosophie (1997); Bernard Bolzano Honorary Medal for Merit in the Mathematical Sciences (2001); Prix EATCS (2007); Membre élu de l'American Mathematical Society (2013)

Cet article est une ébauche concernant un mathématicien.

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 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

Notes et références

Liens externes

Site officiel
Ressources relatives à la recherche :
Notices dans des dictionnaires ou encyclopédies généralistes :
- Britannica
- Nationalencyklopedin
Notices d'autorité :
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Italie
- CiNii
- Belgique
- Pays-Bas
- Pologne
- Israël
- NUKAT
- Australie
- Norvège
- Tchéquie

Portail des mathématiques

Portail de la logique

Portail de l'informatique théorique

Naissance	11 octobre 1932 (93 ans) Berkeley (Californie)
Nom dans la langue maternelle	Dana Stewart Scott
Nationalité	américain
Formation	Université de Californie à Berkeley (baccalauréat ès arts) (jusqu'à juin 1954) Université de Princeton (docteur en philosophie) (jusqu'à juin 1958)
Activités	Mathématicien, professeur d'université, logicien, topologue, informaticien, ingénieur, philosophe
Conjoint	Irene Schreier Scott (d)
Parentèle	Otto Schreier (beau-père)

A travaillé pour	Université de Linz (1992-1993) Université Carnegie-Mellon (1981-2003) Université d'Oxford (1972-1981) Université de Princeton (1969-1972) Université d'Amsterdam (1968-1969) Université Stanford (1967-1969) Université de Californie à Berkeley (1962-1963) Université de Californie à Berkeley (1960-1962) Université de Chicago (jusqu'en 1960)
Membre de	Academia Europaea (1992) Association for Computing Machinery (1994) American Mathematical Society (2012) Kurt Gödel Society (en) Association américaine pour l'avancement des sciences Académie américaine des sciences Académie américaine des arts et des sciences British Academy Académie finlandaise des sciences Académie des sciences de New York
Directeur de thèse	Alonzo Church
Site web	www.cs.cmu.edu/~scott
Distinctions	Prix Turing (1976) Liste détaillée Prix Leroy P. Steele (1972) Prix Turing (1976) Bourse Guggenheim (1978) Docteur honoris causa de l'université d'Utrecht (1986) Prix Harold-Pender (1990) Gödel Lecturer (1991) ACM Fellow (1994) Docteur honoris causa de l'université d'Édimbourg (1995) Prix Schock (1997) Prix Schock de logique et philosophie (1997) Bernard Bolzano Honorary Medal for Merit in the Mathematical Sciences (2001) Prix EATCS (2007) Membre élu de l'American Mathematical Society (2013)