Dana Scott

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Dana Stewart Scott
Scott Dana small.jpg
Dana Scott
Date personale
Născut 1932
Berkeley, SUA
Naționalitate american
Cetățenie Statele Unite ale Americii
Ocupație matematician
informatician
inginer
topologist[*]
profesor universitar
Activitate
Domeniu informatician, matematician
Instituție Universitatea California, Berkeley
Universitatea Oxford
Universitatea Carnegie Mellon
Alma Mater Universitatea Princeton
Universitatea Berkeley din California
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.