Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dana_Scott> ?p ?o }
- Dana_Scott abstract "Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career involved computer science, mathematics, and philosophy. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory.".
- Dana_Scott almaMater Princeton_University.
- Dana_Scott almaMater University_of_California,_Berkeley.
- Dana_Scott award Harold_Pender_Award.
- Dana_Scott award Leroy_P._Steele_Prize.
- Dana_Scott award Philosophy.
- Dana_Scott award Rolf_Schock_Prizes.
- Dana_Scott award Turing_Award.
- Dana_Scott birthDate "1932-10-11".
- Dana_Scott birthPlace Berkeley,_California.
- Dana_Scott doctoralAdvisor Alonzo_Church.
- Dana_Scott doctoralStudent Angus_Macintyre.
- Dana_Scott doctoralStudent David_Turner_(computer_scientist).
- Dana_Scott doctoralStudent Fred_S._Roberts.
- Dana_Scott doctoralStudent Jack_Copeland.
- Dana_Scott doctoralStudent Kenneth_Kunen.
- Dana_Scott doctoralStudent Ketan_Mulmuley.
- Dana_Scott doctoralStudent Marko_Petkovšek.
- Dana_Scott doctoralStudent Michael_Fourman.
- Dana_Scott field Computer_science.
- Dana_Scott field Mathematics.
- Dana_Scott field Philosophy.
- Dana_Scott knownFor Automata_theory.
- Dana_Scott knownFor Semantics_(computer_science).
- Dana_Scott thumbnail Scott_Dana_small.jpg?width=300.
- Dana_Scott wikiPageExternalLink Modal_Logic.html?id=pbb_Asgoq0oC.
- Dana_Scott wikiPageExternalLink DOMAIN.
- Dana_Scott wikiPageExternalLink books?id=wqktlxHo9wkC.
- Dana_Scott wikiPageExternalLink tarskiandcs.pdf.
- Dana_Scott wikiPageExternalLink prior.
- Dana_Scott wikiPageExternalLink ~scott.
- Dana_Scott wikiPageID "161875".
- Dana_Scott wikiPageLength "13251".
- Dana_Scott wikiPageOutDegree "133".
- Dana_Scott wikiPageRevisionID "702637191".
- Dana_Scott wikiPageWikiLink Academy_of_Sciences_of_the_Czech_Republic.
- Dana_Scott wikiPageWikiLink Alfred_Tarski.
- Dana_Scott wikiPageWikiLink Alonzo_Church.
- Dana_Scott wikiPageWikiLink American_Mathematical_Society.
- Dana_Scott wikiPageWikiLink Angus_Macintyre.
- Dana_Scott wikiPageWikiLink Arthur_Prior.
- Dana_Scott wikiPageWikiLink Association_for_Computing_Machinery.
- Dana_Scott wikiPageWikiLink Automata_theory.
- Dana_Scott wikiPageWikiLink Bachelor_of_Arts.
- Dana_Scott wikiPageWikiLink Berkeley,_California.
- Dana_Scott wikiPageWikiLink Bolzano_Prize.
- Dana_Scott wikiPageWikiLink Boolean-valued_model.
- Dana_Scott wikiPageWikiLink Cambridge_University_Press.
- Dana_Scott wikiPageWikiLink Carnegie_Mellon_University.
- Dana_Scott wikiPageWikiLink Cartesian_closed_category.
- Dana_Scott wikiPageWikiLink Category:1932_births.
- Dana_Scott wikiPageWikiLink Category:20th-century_mathematicians.
- Dana_Scott wikiPageWikiLink Category:American_computer_scientists.
- Dana_Scott wikiPageWikiLink Category:American_logicians.
- Dana_Scott wikiPageWikiLink Category:American_mathematicians.
- Dana_Scott wikiPageWikiLink Category:American_philosophers.
- Dana_Scott wikiPageWikiLink Category:Carnegie_Mellon_University_faculty.
- Dana_Scott wikiPageWikiLink Category:Fellows_of_Merton_College,_Oxford.
- Dana_Scott wikiPageWikiLink Category:Fellows_of_the_American_Mathematical_Society.
- Dana_Scott wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Dana_Scott wikiPageWikiLink Category:Formal_methods_people.
- Dana_Scott wikiPageWikiLink Category:Guggenheim_Fellows.
- Dana_Scott wikiPageWikiLink Category:Lattice_theorists.
- Dana_Scott wikiPageWikiLink Category:Living_people.
- Dana_Scott wikiPageWikiLink Category:Mathematical_logicians.
- Dana_Scott wikiPageWikiLink Category:Members_of_the_United_States_National_Academy_of_Sciences.
- Dana_Scott wikiPageWikiLink Category:Modal_logicians.
- Dana_Scott wikiPageWikiLink Category:Model_theorists.
- Dana_Scott wikiPageWikiLink Category:People_from_Berkeley,_California.
- Dana_Scott wikiPageWikiLink Category:Princeton_University_alumni.
- Dana_Scott wikiPageWikiLink Category:Programming_language_researchers.
- Dana_Scott wikiPageWikiLink Category:Rolf_Schock_Prize_laureates.
- Dana_Scott wikiPageWikiLink Category:Semanticists.
- Dana_Scott wikiPageWikiLink Category:Set_theorists.
- Dana_Scott wikiPageWikiLink Category:Tarski_lecturers.
- Dana_Scott wikiPageWikiLink Category:Topologists.
- Dana_Scott wikiPageWikiLink Category:Turing_Award_laureates.
- Dana_Scott wikiPageWikiLink Category:University_of_California,_Berkeley_alumni.
- Dana_Scott wikiPageWikiLink Category:University_of_California,_Berkeley_faculty.
- Dana_Scott wikiPageWikiLink Category:University_of_Chicago_faculty.
- Dana_Scott wikiPageWikiLink Category_theory.
- Dana_Scott wikiPageWikiLink Christopher_Strachey.
- Dana_Scott wikiPageWikiLink Claremont,_California.
- Dana_Scott wikiPageWikiLink Computational_complexity_theory.
- Dana_Scott wikiPageWikiLink Computer_science.
- Dana_Scott wikiPageWikiLink Continuum_hypothesis.
- Dana_Scott wikiPageWikiLink David_Turner_(computer_scientist).
- Dana_Scott wikiPageWikiLink Denotational_semantics.
- Dana_Scott wikiPageWikiLink Doctor_of_Philosophy.
- Dana_Scott wikiPageWikiLink Domain_theory.
- Dana_Scott wikiPageWikiLink Edgar_Lopez-Escobar.
- Dana_Scott wikiPageWikiLink Equilogical_spaces.
- Dana_Scott wikiPageWikiLink European_Association_for_Theoretical_Computer_Science.
- Dana_Scott wikiPageWikiLink Fellow.
- Dana_Scott wikiPageWikiLink Fred_S._Roberts.
- Dana_Scott wikiPageWikiLink Harold_Pender_Award.
- Dana_Scott wikiPageWikiLink Institute_of_Electrical_and_Electronics_Engineers.
- Dana_Scott wikiPageWikiLink Jack_Copeland.
- Dana_Scott wikiPageWikiLink John_Lemmon.
- Dana_Scott wikiPageWikiLink Kenneth_Kunen.