Dana S. Scott | ||
---|---|---|
![]() | ||
Persoonlijke gegevens | ||
Volledige naam | Dana Stewart Scott | |
Geboortedatum | 11 oktober 1932 | |
Geboorteplaats | Berkeley![]() | |
Academische achtergrond | ||
Alma mater | Princeton-universiteit Universiteit van Californië - Berkeley ![]() | |
Promotor | Alonzo Church | |
Wetenschappelijk werk | ||
Vakgebied | Informatica, wiskunde, wijsbegeerte | |
Bekend van | Semantiek van programmeertalen | |
Website |
Dana Stewart Scott (11 oktober 1932) is een Amerikaans emeritus hoogleraar, die onderzoek verricht heeft in de informatica, wiskunde en wijsbegeerte. Samen met Michael Rabin kreeg hij in 1976 de Turing Award voor hun werk op het gebied van de automatentheorie. Hij is vooral bekend van zijn werk op het gebied van de semantiek van programmeertalen, dat hij samen met Christopher Strachey uitvoerde.