Sari la conținut

Dana Scott

De la Wikipedia, enciclopedia liberă
Dana Stewart Scott
Dana Stewart Scott
Dana Scott
Date personale
Născut1932
Berkeley, SUA Modificați la Wikidata
Căsătorit cuIrene Schreier Scott[*][[Irene Schreier Scott (Austrian-born pianist, artist and lecturer in music)|​]][1] Modificați la Wikidata
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațiematematician
informatician
inginer
topolog[*]​
profesor universitar
logician[*][[logician (person specializing in formal logic)|​]]
filozof Modificați la Wikidata
Limbi vorbiteengleză[2] Modificați la Wikidata
Activitate
Domeniuinformatician, matematician
InstituțieUniversitatea California, Berkeley
Universitatea Oxford
Universitatea Carnegie Mellon
Alma MaterUniversitatea Princeton
Universitatea Berkeley din California  Modificați la Wikidata
OrganizațiiAcademia Națională de Științe a Statelor Unite ale Americii[*]​[3]
Academia Europaea[4][3]
Suomalainen Tiedeakatemia[*][[Suomalainen Tiedeakatemia (Finnish scientific society, founded 1908 in Helsinki)|​]][3]
Academia Americană de Arte și Științe[*]​[3]
Association for Computing Machinery[5][3]
American Mathematical Society[6][7]
Kurt Gödel Society[*]​[8]
Asociația Americană pentru Progresul Științei[*]​[3]
British Academy[*]​[3]
Academia de Științe din New York[3]  Modificați la Wikidata
PremiiPremiul Turing, 1976
Prezență online

Dana Stewart Scott (n. , Berkeley, SUA) este un matematician și informatician american, cu importante contribuții în domeniul teoriei automatelor, pentru care a primit Premiul Turing în 1976. De asemenea, în anii 1970, în colaborare cu Christopher Strachey, a pus bazele abordărilor moderne din domeniul semanticii limbajelor de programare.

  1. ↑ „Dana Scott”. MacTutor History of Mathematics archive. Wikidata Q547473.
  2. ↑ „Dana Scott”. Národní autority České republiky[*]. Wikidata Q13550863. Accesat în .
  3. 1 2 3 4 5 6 7 8 „Career Highlights for Dana S. Scott” (PDF). Academia Europaea. . Accesat în .
  4. ↑ „Dana Scott” (în engleză). www.ae-info.org[*]. Wikidata Q107213897.
  5. ↑ https://awards.acm.org/fellows/award-recipients. Accesat în . Lipsește sau este vid: |title= (ajutor)
  6. ↑ http://www.ams.org/fellows_by_year.cgi?year=2013. Accesat în . Lipsește sau este vid: |title= (ajutor)
  7. ↑ http://www.ams.org/news?news_id=1680. Accesat în . Lipsește sau este vid: |title= (ajutor)
  8. ↑ https://kgs.logic.at/organization. Accesat în . Lipsește sau este vid: |title= (ajutor)