Dana Scott
Aspect
| Dana Stewart Scott | |
Dana Scott | |
| Date personale | |
|---|---|
| Născut | 1932 Berkeley, California, SUA |
| Căsătorit cu | Irene Schreier Scott[*][1] |
| Cetățenie | |
| 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 | |
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ă]- ↑ „Dana Scott”. MacTutor History of Mathematics archive. Wikidata Q547473.
- ↑ „Dana Scott”. Národní autority České republiky[*]. Wikidata Q13550863. Accesat în .
- ↑ „Dana Scott” (în engleză). www.ae-info.org[*]. Wikidata Q107213897.
- ↑ 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)
Categorii:
- 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