Dana Scott

GPTKB entity

Statements (66)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_California,_Berkeley
gptkbp:awardReceived gptkb:ACM_Fellow
gptkb:Fellow_of_the_American_Academy_of_Arts_and_Sciences
gptkb:Fellow_of_the_Royal_Society
gptkb:Harvey_Prize
gptkb:Leroy_P._Steele_Prize
gptkb:Rolf_Schock_Prize_in_Logic_and_Philosophy
gptkb:Gödel_Lecturer
Turing Award
gptkbp:birthDate 1932-10-11
gptkbp:birthPlace gptkb:Berkeley,_California,_USA
gptkbp:co-recipientOfTuringAward gptkb:Michael_O._Rabin
gptkbp:doctoralAdvisor gptkb:Alonzo_Church
gptkbp:doctoralStudent gptkb:Andrew_Pitts
gptkb:Carl_A._Gunter
gptkb:Colin_Stirling
gptkb:David_Park
gptkb:Edmund_M._Clarke
gptkb:Gert_Smolka
gptkb:Glynn_Winskel
gptkb:Gordon_Plotkin
gptkb:John_C._Reynolds
gptkb:John_Mitchell
gptkb:John_Power
gptkb:Martin_Hyland
gptkb:Michael_O._Rabin
gptkb:Moshe_Vardi
gptkb:Peter_Johnstone
gptkb:Robert_Harper
gptkb:Robert_L._Constable
gptkb:Samson_Abramsky
gptkbp:employer gptkb:Carnegie_Mellon_University
gptkb:Princeton_University
gptkb:Stanford_University
gptkb:University_of_California,_Berkeley
gptkb:University_of_Chicago
gptkb:University_of_Oxford
gptkb:University_of_Warwick
gptkbp:fieldOfWork gptkb:lambda_calculus
gptkb:logic
gptkb:set_theory
automata theory
model theory
theoretical computer science
denotational semantics
domain theory
gptkbp:fullName gptkb:Dana_Stewart_Scott
https://www.w3.org/2000/01/rdf-schema#label Dana Scott
gptkbp:knownFor gptkb:lambda_calculus
gptkb:logic
gptkb:Scott–Curry_theorem
gptkb:Scott–Potter_set_theory
gptkb:Scott–Strachey_approach_to_denotational_semantics
gptkb:Scott_topology
automata theory
domain theory
gptkbp:nationality gptkb:American
gptkbp:occupation gptkb:computer_scientist
gptkb:mathematician
gptkbp:TuringAwardYear 1976
For their joint paper which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept.
gptkbp:bfsParent gptkb:Alfred_Tarski
gptkb:Alonzo_Church
gptkb:Technical_Machine
gptkbp:bfsLayer 4