Dana Scott
Dana Stewart Scott | |
![]() Dana Scott | |
Date personale | |
---|---|
Născut | 1932 Berkeley, California, SUA ![]() |
Căsătorit cu | Irene Schreier Scott[*][5] ![]() |
Cetățenie | ![]() ![]() |
Ocupație | matematician informatician inginer topolog[*] cadru didactic universitar[*] ![]() |
Limbi vorbite | limba engleză[6] ![]() |
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[*][1] Suomalainen Tiedeakatemia[*] Academia Americană de Arte și Științe[*] Association for Computing Machinery[2] American Mathematical Society[3][4] ![]() |
Premii | Premiul Turing, 1976 |
Prezență online | |
Modifică date / text ![]() |
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.
Note
[modificare | modificare sursă]- ^ https://www.ae-info.org/ae/User/Scott_Dana Lipsește sau este vid:
|title=
(ajutor) - ^ https://awards.acm.org/fellows/award-recipients, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ http://www.ams.org/fellows_by_year.cgi?year=2013, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ http://www.ams.org/news?news_id=1680, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ MacTutor History of Mathematics archive
- ^ Czech National Authority Database, accesat în Czech National Authority Database&rft_id=http://autority.nkp.cz/&rfr_id=info:sid/ro.wikipedia.org:Dana Scott" class="Z3988">
|
- Oameni de știință americani din secolul al XX-lea
- Matematicieni din secolul al XX-lea
- Logicieni americani
- Membri ai American Mathematical Society
- Guggenheim Fellows
- Specialiști în logică matematică
- Membri ai Academiei Naționale de Științe a Statelor Unite
- Oameni din Berkeley, California
- Absolvenți ai Universității Princeton
- Specialiști în topologie
- Absolvenți ai University of California, Berkeley
- Informaticieni americani
- Matematicieni americani din secolul al XX-lea
- Laureați ai Premiului Turing
- Nașteri în 1932
- Americani în viață
- Nașteri pe 11 octombrie
- Oameni de știință din statul California