Dana Scott

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Dana Stewart Scott
Scott Dana small.jpg
Dana Scott
Date personale
Născut1932
Berkeley, SUA Modificați la Wikidata
Naționalitateamerican
CetățenieFlag of the United States.svg SUA Modificați la Wikidata
Ocupațiematematician
informatician
inginer
topolog[*]
profesor universitar Modificați la Wikidata
Activitate
Domeniuinformatician, matematician
InstituțieUniversitatea California, Berkeley
Universitatea Oxford
Universitatea Carnegie Mellon
Alma MaterUniversitatea Princeton
Universitatea Berkeley din California  Modificați la Wikidata
OrganizațiiUniversitatea Berkeley din California
Universitatea din Chicago  Modificați la Wikidata
PremiiPremiul Turing, 1976
Prezență online

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.