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.

PropertyValue
dbpedia-owl:Person/birthDate
  • 1932-10-11 (xsd:date)
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:Scientist/doctoralStudent
dbpedia-owl:birthDate
  • 1932-10-11 (xsd:date)
dbpedia-owl:doctoralAdvisor
dbpedia-owl:doctoralStudent
dbpedia-owl:thumbnail
dbpprop: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 Stewart Scott ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat.
  • Dana Stewart Scott es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado también en lógica modal, topología y teoría de categorías. Es el editor en jefe de la nueva revista Logical Methods in Computer Science.
  • Dana Stewart Scott on yhdysvaltalainen tietojenkäsittelytieteilijä ja matemaatikko. Hän on työskennellyt uransa aikana useissa yliopistoissa, kuten Carnegie Mellonissa. Scottille myönnetyistä palkinnoista tärkeimpiä ovat Turing-palkinto ja Rolf Schockin palkinto. Scott on toiminut Kansallisen tiedeakatemian jäsenenä vuodesta 1988.
  • Dana S. Scott, né en 1932, était professeur d'informatique et de mathématiques à l'université Carnegie Mellon. Il est actuellement retraité mais possède un titre de professeur émérite ("Hillman University Professor"). Ses travaux de recherche, qui recoupent à la fois l'informatique, les mathématiques et la philosophie, se sont caractérisés par le souci d'élaborer des concepts fondamentaux de façon rigoureuse mais claire et par une étude des difficultés mathématiques sous-jacentes à ces concepts. Son travail sur la théorie des automates lui a valu le prix Turing en 1976 et le prix de l'EATCS en 2007, et sa collaboration avec Christopher Strachey dans les années 1970 a jeté les bases des approches modernes de la sémantique des langages de programmation. Il a travaillé également sur les logiques modales, la topologie et la théorie des catégories.
  • è stato professore emerito di informatica all'Hillman University, filosofia, e logica matematica alla Carnegie Mellon University; ora si è ritirato e vive a Berkeley, California. La sua carriera di ricerca ha spaziato tra informatica, matematica e filosofia, ed è stata caratterizzata dall'unione dell'illustrazione di concetti fondamentali con rigore informale, con lo sviluppo di problemi matematicamente complessi fondati su questi concetti. Il suo lavoro in teoria degli automi gli fece conseguire l'ACM Turing Award nel 1976, mentre la sua collaborazione con Christopher Strachey, negli anni '70, pose le basi per i moderni approcci alla semantica dei linguaggi di programmazione. Ha lavorato anche sulla logica modale, topologia e teoria delle categorie. È redattore capo della rivista Logical Methods in Computer Science.
  • デイナ・スコット (Dana S. Scott, 1932年-) はアメリカの計算機科学者・数学者・論理学者。 1954年、カリフォルニア大学バークリー校にて学士号を取得。その後、同大学院でアルフレト・タルスキの指導を受けるが、タルスキとの間でトラブルが発生し、プリンストン大学へ移ることを余儀なくされる（ただしタルスキとはその後、和解している）。1958年、プリンストン大学にてアロンゾ・チャーチの指導のもと、博士号を取得。 その後、シカゴ大学講師、カリフォルニア大学バークリー校助教授・準教授、スタンフォード大学教授、プリンストン大学教授、オックスフォード大学教授、カーネギー・メロン大学教授等を経て、現在はカーネギー・メロン大学名誉教授の地位にある。 彼の業績はオートマトン理論、公理的集合論、プログラミング言語の意味論、言語哲学等、多岐にわたっており、1959年にマイケル・ラビンと共同で発表したオートマトン理論に関する研究 [1] により、1976年度チューリング賞を受賞している。
  • Dana Stewart Scott informatyk, logik, filozof. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne.
  • Dana Stewart Scott este un matematician şi informatician american, cu importante contribuţii în domeniul teoriei automatelor, pentru care a primit Premiul Turing în 1976. De asemenea, în anii 1970, în colaborare cu Christopher Strachey, a pus bazele abordărilor moderne din domeniul semanticii limbajelor de programare.
  • Да́на Стю́арт Скотт — американский учёный в области математики и информатики. Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков. Сделал крупный вклад в развитие компьютерных наук, разработав математическую теорию вычислений
  • 达纳·斯图尔特·斯科特（Dana Stewart Scott 1932年10月11日－）美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。
dbpprop:birthDate
dbpprop:dateOfBirth
  • 1932 (xsd:integer)
dbpprop:doctoralAdvisor
dbpprop:doctoralStudents
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:name
  • Dana Stewart Scott
  • Scott, Dana Stewart
dbpprop:prizes
dbpprop:reference
dbpprop:shortDescription
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitution
rdf:type
rdfs:comment
  • 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.
  • Dana Stewart Scott ist ein US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph, der bedeutende Beiträge zur Automatentheorie, Modelltheorie und Semantik der Programmiersprachen geleistet hat.
  • Dana Stewart Scott es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California.
  • Dana Stewart Scott on yhdysvaltalainen tietojenkäsittelytieteilijä ja matemaatikko. Hän on työskennellyt uransa aikana useissa yliopistoissa, kuten Carnegie Mellonissa. Scottille myönnetyistä palkinnoista tärkeimpiä ovat Turing-palkinto ja Rolf Schockin palkinto. Scott on toiminut Kansallisen tiedeakatemian jäsenenä vuodesta 1988.
  • Dana S. Scott, né en 1932, était professeur d'informatique et de mathématiques à l'université Carnegie Mellon. Il est actuellement retraité mais possède un titre de professeur émérite ("Hillman University Professor").
  • è stato professore emerito di informatica all'Hillman University, filosofia, e logica matematica alla Carnegie Mellon University; ora si è ritirato e vive a Berkeley, California. La sua carriera di ricerca ha spaziato tra informatica, matematica e filosofia, ed è stata caratterizzata dall'unione dell'illustrazione di concetti fondamentali con rigore informale, con lo sviluppo di problemi matematicamente complessi fondati su questi concetti.
  • デイナ・スコット (Dana S.
  • Dana Stewart Scott informatyk, logik, filozof. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne.
  • Dana Stewart Scott este un matematician şi informatician american, cu importante contribuţii în domeniul teoriei automatelor, pentru care a primit Premiul Turing în 1976. De asemenea, în anii 1970, în colaborare cu Christopher Strachey, a pus bazele abordărilor moderne din domeniul semanticii limbajelor de programare.
  • Да́на Стю́арт Скотт — американский учёный в области математики и информатики. Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий.
  • 达纳·斯图尔特·斯科特（Dana Stewart Scott 1932年10月11日－）美国科学家，研究领域涉及计算机科学、数学和哲学，1976年图灵奖得主。
rdfs:label
  • Dana Scott
  • Dana Scott
  • Dana Scott
  • Dana Scott
  • Dana S. Scott
  • Dana Scott
  • デイナ・スコット
  • Dana Scott
  • Dana Scott
  • Скотт, Дана Стюарт
  • 达纳·斯科特
owl:sameAs
skos:subject
foaf:depiction
foaf:givenname
  • Dana Stewart
  • Dana Stewart
foaf:name
  • Dana Stewart Scott
  • Dana Stewart Scott
foaf:page
foaf:surname
  • Scott
  • Scott
is dbpedia-owl:Scientist/doctoralAdvisor of
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralAdvisor of
is dbpedia-owl:doctoralStudent of
is dbpprop:doctoralAdvisor of
is dbpprop:doctoralStudents of
is dbpprop:redirect of
is owl:sameAs of