Dana Scott
| Dana Stewart Scott | |
 Dana Scott | |
| Date personale | |
|---|---|
| Născut | 1932 Berkeley, SUA  |
| Naționalitate | american |
| Cetățenie |  SUA |
| 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[*] Finnish Academy of Science and Letters[*] Academia Americană de Arte și Științe[*] Association for Computing Machinery |
| Premii | Premiul Turing, 1976 |
| Prezență online | |
Modifică date / text  | |
Dana Stewart Scott (n. 1932) 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.
| |||||
| Informații bibliotecare |
|---|
| Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui! |
- Oameni de știință americani din secolul al XX-lea
- Matematicieni ai secolului XX
- Logicieni americani
- Matematicieni americani
- Membri ai American Mathematical Society
- Guggenheim Fellows
- Oameni în viață
- Specialiști în logică matematică
- Membri ai United States National Academy of Sciences
- Oameni din Berkeley, California
- Absolvenți ai Princeton University
- Specialiști în topologie
- Absolvenți ai University of California, Berkeley
- Informaticieni americani
- Matematicieni americani ai secolului XX
- Laureați ai Premiului Turing
- Nașteri în 1932
- Americani în viață
