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 | Statele Unite ale Americii |
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- ^ 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/news?news_id=1680, 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) - ^ MacTutor History of Mathematics archive
- ^ Czech National Authority Database, accesat în