Dana S. Scott | ||
---|---|---|
Persoonlijke gegevens | ||
Volledige naam | Dana Stewart Scott | |
Geboortedatum | 11 oktober 1932 | |
Geboorteplaats | Berkeley | |
Wetenschappelijk werk | ||
Vakgebied | Informatica, wiskunde, wijsbegeerte | |
Bekend van | Semantiek van programmeertalen | |
Promotor | Alonzo Church | |
Alma mater | Princeton-universiteit Universiteit van Californië - Berkeley | |
http://www-2.cs.cmu.edu/~scott/ |
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.