From Wikipedia, the free encyclopedia
Dana Stewart Scott (n. , Berkeley, California, 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.
Dana Stewart Scott | |
Dana Scott | |
Date personale | |
---|---|
Născut | 1932 Berkeley, California, SUA |
Căsătorit cu | Irene Schreier Scott[*][1] |
Cetățenie | Statele Unite ale Americii |
Ocupație | matematician informatician inginer topolog[*] cadru didactic universitar[*] |
Limbi vorbite | limba engleză[2] |
Activitate | |
Domeniu | informatician, matematician |
Instituție | Universitatea California, Berkeley Universitatea Oxford Universitatea Carnegie Mellon |
Alma Mater | Universitatea Princeton Universitatea Berkeley din California |
Organizații | Academia Națională de Științe a Statelor Unite ale Americii[*] Academia Europaea[*][3] Suomalainen Tiedeakatemia[*] Academia Americană de Arte și Științe[*] Association for Computing Machinery[4] American Mathematical Society[5][6] |
Premii | Premiul Turing, 1976 |
Prezență online | |
Modifică date / text |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.