Dana Scott

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Dana Stewart Scott
Dana Scott
Dana Scott
Născut 1932
Naționalitate american
Domeniu informatician, matematician
Instituție Universitatea California, Berkeley
Universitatea Oxford
Universitatea Carnegie Mellon
Alma Mater Universitatea California, Berkeley
Universitatea Princeton
Premii Premiul Turing, 1976

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.