Matches in DBpedia 2014 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 has spanned computer science, mathematics, and philosophy, and has been characterized by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigor, with a cultivation of mathematically hard problems that bear on these concepts. 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. He is the editor-in-chief of the new journal Logical Methods in Computer Science.".
- Dana_Scott almaMater Princeton_University.
- Dana_Scott almaMater University_of_California,_Berkeley.
- Dana_Scott award Turing_Award.
- Dana_Scott birthDate "1932-10-11".
- Dana_Scott birthPlace Berkeley,_California.
- Dana_Scott birthYear "1932".
- 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%C5%A1ek.
- Dana_Scott doctoralStudent Michael_Fourman.
- Dana_Scott field Computer_science.
- Dana_Scott field Mathematics.
- Dana_Scott field Philosophy.
- Dana_Scott individualisedGnd "11396532X".
- Dana_Scott knownFor Automata_theory.
- Dana_Scott knownFor Semantics_(computer_science).
- Dana_Scott lccnId "n/79/118951".
- Dana_Scott thumbnail Scott_Dana_small.jpg?width=300.
- Dana_Scott viafId "65289661".
- Dana_Scott wikiPageExternalLink DOMAIN.
- Dana_Scott wikiPageExternalLink tarskiandcs.pdf.
- Dana_Scott wikiPageExternalLink prior.
- Dana_Scott wikiPageExternalLink ~scott.
- Dana_Scott wikiPageID "161875".
- Dana_Scott wikiPageRevisionID "606450609".
- Dana_Scott almaMater "B.A. 1954, University of California, Berkeley".
- Dana_Scott almaMater "Ph.D. 1958, Princeton University".
- Dana_Scott birthDate "1932-10-11".
- Dana_Scott birthPlace Berkeley,_California.
- Dana_Scott dateOfBirth "1932-10-11".
- Dana_Scott doctoralAdvisor Alonzo_Church.
- Dana_Scott doctoralStudents Angus_Macintyre.
- Dana_Scott doctoralStudents David_Turner_(computer_scientist).
- Dana_Scott doctoralStudents Fred_S._Roberts.
- Dana_Scott doctoralStudents Jack_Copeland.
- Dana_Scott doctoralStudents Kenneth_Kunen.
- Dana_Scott doctoralStudents Ketan_Mulmuley.
- Dana_Scott doctoralStudents Marko_Petkovšek.
- Dana_Scott doctoralStudents Michael_Fourman.
- Dana_Scott field Computer_science.
- Dana_Scott field Mathematics.
- Dana_Scott field Philosophy.
- Dana_Scott gnd "11396532".
- Dana_Scott hasPhotoCollection Dana_Scott.
- Dana_Scott knownFor Automata_theory.
- Dana_Scott knownFor Semantics_(computer_science).
- Dana_Scott lccn "n/79/118951".
- Dana_Scott name "Dana Stewart Scott".
- Dana_Scott name "Scott, Dana Stewart".
- Dana_Scott prizes "ACM Turing Award 1976, 1989".
- Dana_Scott shortDescription "Computer scientist, mathematician, logician".
- Dana_Scott thesisTitle "Convergent Sequences of Complete Theories".
- Dana_Scott thesisYear "1958".
- Dana_Scott viaf "65289661".
- Dana_Scott wordnet_type synset-scientist-noun-1.
- Dana_Scott workInstitution Carnegie_Mellon_University.
- Dana_Scott workInstitution Stanford_University.
- Dana_Scott workInstitution University_of_California,_Berkeley.
- Dana_Scott workInstitution University_of_Oxford.
- Dana_Scott description "Computer scientist, mathematician, logician".
- Dana_Scott description "Computer scientist, mathematician, logician".
- Dana_Scott subject Category:1932_births.
- Dana_Scott subject Category:20th-century_mathematicians.
- Dana_Scott subject Category:American_computer_scientists.
- Dana_Scott subject Category:American_logicians.
- Dana_Scott subject Category:American_mathematicians.
- Dana_Scott subject Category:American_philosophers.
- Dana_Scott subject Category:Carnegie_Mellon_University_faculty.
- Dana_Scott subject Category:Fellows_of_Merton_College,_Oxford.
- Dana_Scott subject Category:Fellows_of_the_American_Mathematical_Society.
- Dana_Scott subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Dana_Scott subject Category:Formal_methods_people.
- Dana_Scott subject Category:Guggenheim_Fellows.
- Dana_Scott subject Category:Lattice_theorists.
- Dana_Scott subject Category:Living_people.
- Dana_Scott subject Category:Mathematical_logicians.
- Dana_Scott subject Category:Members_of_the_United_States_National_Academy_of_Sciences.
- Dana_Scott subject Category:Modal_logicians.
- Dana_Scott subject Category:Model_theorists.
- Dana_Scott subject Category:Princeton_University_alumni.
- Dana_Scott subject Category:Programming_language_researchers.
- Dana_Scott subject Category:Rolf_Schock_Prize_laureates.
- Dana_Scott subject Category:Semanticists.
- Dana_Scott subject Category:Set_theorists.
- Dana_Scott subject Category:Tarski_lecturers.
- Dana_Scott subject Category:Topologists.
- Dana_Scott subject Category:Turing_Award_laureates.
- Dana_Scott subject Category:University_of_California,_Berkeley_alumni.
- Dana_Scott subject Category:University_of_California,_Berkeley_faculty.
- Dana_Scott subject Category:University_of_Chicago_faculty.
- Dana_Scott type 20th-centuryMathematicians.
- Dana_Scott type Acquirer109764201.
- Dana_Scott type Alumnus109786338.
- Dana_Scott type AmericanComputerScientists.