Dana Scott
Dana Stewart Scott | |
![]() Dana Scott | |
Date personale | |
---|---|
Născut | 1932 Berkeley, California, SUA ![]() |
Căsătorit cu | Irene Schreier Scott[*][2] ![]() |
Naționalitate | american |
Cetățenie | ![]() ![]() |
Ocupație | matematician informatician inginer topolog[*] profesor universitar[*] ![]() |
Activitate | |
Domeniu | informatician, matematician |
Instituție | Universitatea California, Berkeley Universitatea Oxford Universitatea Carnegie Mellon |
Alma Mater | Universitatea Princeton Universitatea Berkeley din California ![]() |
Organizații | American Mathematical Society 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 ![]() |
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) - ^ MacTutor History of Mathematics archive
|
- Oameni de știință americani din secolul al XX-lea
- Matematicieni din secolul al XX-lea
- Logicieni americani
- Membri ai American Mathematical Society
- Guggenheim Fellows
- Oameni în viață
- 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ță