Dana S. Scott

URI: https://gptkb.org/entity/Dana_S._Scott

GPTKB entity

Statements (62)

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 Turing Award
gptkbp:birthDate	1932-10-11
gptkbp:birthPlace	gptkb:Berkeley,_California,_USA
gptkbp:doctoralAdvisor	gptkb:Alonzo_Church
gptkbp:doctoralStudent	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:Michael_O._Rabin gptkb:Robert_L._Constable gptkb:Thomas_E._Uribe
gptkbp:employer	gptkb:Carnegie_Mellon_University gptkb:Princeton_University gptkb:Stanford_University gptkb:University_of_California,_Berkeley gptkb:University_of_Oxford gptkb:University_of_Warwick
https://www.w3.org/2000/01/rdf-schema#label	Dana S. Scott
gptkbp:knownFor	gptkb:lambda_calculus gptkb:logic gptkb:Scott–Curry_theorem gptkb:Scott–Potter_set_theory gptkb:Scott_topology automata theory model theory denotational semantics domain theory infinite-valued logic
gptkbp:memberOf	gptkb:American_Academy_of_Arts_and_Sciences gptkb:National_Academy_of_Sciences gptkb:Royal_Society
gptkbp:nationality	gptkb:American
gptkbp:notableStudent	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:Michael_O._Rabin gptkb:Robert_L._Constable gptkb:Thomas_E._Uribe
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:spouse	gptkb:Irena_Scott
gptkbp:bfsParent	gptkb:Knuth_Prize
gptkbp:bfsLayer	5