Dana Scott - CaLiGraph

Property	Value
rdf:type	Engineer from California Fellow of the British Academy elected in the 1970s Formal methods person Set theorist University of California, Berkeley alumni owl:NamedIndividual 1932 birth 20th-century American engineer 20th-century American mathematician 21st-century American engineer 21st-century American mathematician American Academy of Arts and Sciences members American computer scientist Carnegie Mellon University person Fellow of Merton College, Oxford Fellow of the American Mathematical Society Fellow of the Association for Computing Machinery International Congresses of Mathematicians Plenary and Invited Speakers Living person Member of the National Academy of Sciences (computer and information sciences) Member of the United States National Academy of Sciences People by Erdős number Philosopher born in the 20th century Princeton University alumnus Stanford University person Topologist Model theorist Lattice theorist 20th-century American scientist 21st-century American scientist Alumnus of Merton College, Oxford American logician Guggenheim Fellowships awarded in 1978 Mathematical logician Person from Berkeley, California Pioneer in computer science Programming language researcher Scientist from California Tarski lecturer Semanticist Set theory topic Honorary Fellows of Merton College, Oxford Modal logician Miller Research Fellows
rdfs:label	Dana Scott
owl:sameAs	dbr:Dana_Scott
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Suits_(season_2) http://en.wikipedia.org/wiki/Suits_(season_3) http://en.wikipedia.org/wiki/MANIAC_I http://en.wikipedia.org/wiki/Scott_(surname) http://en.wikipedia.org/wiki/Category:Engineers_from_California http://en.wikipedia.org/wiki/List_of_fellows_of_the_British_Academy_elected_in_the_1970s http://en.wikipedia.org/wiki/Category:Model_theorists http://en.wikipedia.org/wiki/List_of_Miller_Research_Fellows http://en.wikipedia.org/wiki/1932_in_philosophy http://en.wikipedia.org/wiki/Category:1932_births http://en.wikipedia.org/wiki/Category:20th-century_American_engineers http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians http://en.wikipedia.org/wiki/Category:21st-century_American_mathematicians http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Fellows_of_the_American_Mathematical_Society http://en.wikipedia.org/wiki/Category:Fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/Category:Members_of_the_United_States_National_Academy_of_Sciences http://en.wikipedia.org/wiki/Category:Princeton_University_alumni http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(D%E2%80%93H) http://en.wikipedia.org/wiki/List_of_Carnegie_Mellon_University_people http://en.wikipedia.org/wiki/List_of_Stanford_University_people http://en.wikipedia.org/wiki/List_of_computer_scientists http://en.wikipedia.org/wiki/List_of_fellows_of_the_Association_for_Computing_Machinery http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/List_of_logicians http://en.wikipedia.org/wiki/List_of_people_by_Erd%C5%91s_number http://en.wikipedia.org/wiki/List_of_philosophers_born_in_the_20th_century http://en.wikipedia.org/wiki/Rolf_Schock_Prizes http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/List_of_University_of_California,_Berkeley_alumni http://en.wikipedia.org/wiki/International_Union_of_History_and_Philosophy_of_Science http://en.wikipedia.org/wiki/Category:21st-century_American_engineers http://en.wikipedia.org/wiki/Category:Fellows_of_Merton_College,_Oxford http://en.wikipedia.org/wiki/Category:Topologists http://en.wikipedia.org/wiki/European_Association_for_Theoretical_Computer_Science http://en.wikipedia.org/wiki/Harold_Pender_Award http://en.wikipedia.org/wiki/List_of_American_Academy_of_Arts_and_Sciences_members_(1953%E2%80%931993) http://en.wikipedia.org/wiki/List_of_International_Congresses_of_Mathematicians_Plenary_and_Invited_Speakers http://en.wikipedia.org/wiki/List_of_members_of_the_National_Academy_of_Sciences_(computer_and_information_sciences) http://en.wikipedia.org/wiki/Category:Semanticists http://en.wikipedia.org/wiki/Category:Set_theorists http://en.wikipedia.org/wiki/Category:Lattice_theorists http://en.wikipedia.org/wiki/Suits_(season_7) http://en.wikipedia.org/wiki/Suits_(season_8) http://en.wikipedia.org/wiki/Category:Modal_logicians http://en.wikipedia.org/wiki/Category:20th-century_American_scientists http://en.wikipedia.org/wiki/Category:21st-century_American_scientists http://en.wikipedia.org/wiki/Category:American_logicians http://en.wikipedia.org/wiki/Category:Mathematical_logicians http://en.wikipedia.org/wiki/Category:People_from_Berkeley,_California http://en.wikipedia.org/wiki/Category:People_from_Berkeley,_California,_by_occupation http://en.wikipedia.org/wiki/Category:Programming_language_researchers http://en.wikipedia.org/wiki/Dana_(given_name) http://en.wikipedia.org/wiki/List_of_American_mathematicians http://en.wikipedia.org/wiki/List_of_Guggenheim_Fellowships_awarded_in_1978 http://en.wikipedia.org/wiki/List_of_people_from_Berkeley,_California http://en.wikipedia.org/wiki/List_of_pioneers_in_computer_science http://en.wikipedia.org/wiki/List_of_programming_language_researchers http://en.wikipedia.org/wiki/Category:Scientists_from_California http://en.wikipedia.org/wiki/Leroy_P._Steele_Prize http://en.wikipedia.org/wiki/List_of_alumni_of_Merton_College,_Oxford http://en.wikipedia.org/wiki/Association_for_Symbolic_Logic http://en.wikipedia.org/wiki/Category:Tarski_lecturers http://en.wikipedia.org/wiki/G%C3%B6del_Lecture http://en.wikipedia.org/wiki/List_of_Honorary_Fellows_of_Merton_College,_Oxford http://en.wikipedia.org/wiki/Tarski_Lectures http://en.wikipedia.org/wiki/Stanford_University_Computer_Science http://en.wikipedia.org/wiki/List_of_set_theory_topics
skos:prefLabel	Dana Scott
skos:altLabel	Scott D. S. Scott Dana S. Scott Dana S. Scott. Dana Stewart Scott Scott, D. Scott, Dana
clgo:academicDiscipline	Computer science Mathematics Philosophy
clgo:almaMater	University of California, Berkeley Merton College, Oxford
clgo:award	Leroy P. Steele Prize Rolf Schock Prizes Tarski Lectures Harold Pender Award Gödel Lecture Turing Award
clgo:birthDate	1932-10-11
clgo:birthPlace	California Pennsylvania Alameda County, California Berkeley, California
clgo:birthYear	1932
clgo:doctoralAdvisor	Alonzo Church
clgo:doctoralStudent	Michael Fourman David Turner (computer scientist) Kenneth Kunen Fred S. Roberts Ketan Mulmuley Peter Mosses Angus Macintyre Marko Petkovšek Martin Davies (philosopher) Jack Copeland
clgo:knownFor	Cartesian monoid Scott continuity Scott information system Neighborhood semantics Mogensen–Scott encoding Denotational semantics Powerset construction Semantics (computer science) Scott–Potter set theory Nondeterministic finite automaton Scott's trick Automata theory Scott domain Modal μ-calculus Logic of Computable Functions
is clgo:doctoralAdvisor of	Michael Fourman Kenneth Kunen Peter Mosses Angus Macintyre Jack Copeland
is clgo:doctoralStudent of	Alonzo Church

About: clgr:Dana_Scott