Skip to content
Vinony
English
EnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTürkçeРусскийالعربيةفارسی한국어中文日本語
Dana Scott

Image by Efraimstochter on Pixabay · Pixabay License

EntityQ49823· pop 37· linked from 318 articles

Dana Scott

Sign in to save

Also known as Dana S. Scott, Dana Stewart Scott

American mathematician and computer scientist

OverviewAI-generated

Dana Stewart Scott (born October 11, 1932, in Berkeley) is an American mathematician, computer scientist, engineer, and topologist. He holds a Doctor of Philosophy from Princeton University, where his doctoral advisor was Alonzo Church. Scott has also been educated at the University of California, Berkeley. His academic career includes employment at the University of California, Berkeley, the University of Chicago, Carnegie Mellon University, and Johannes Kepler University Linz. He is a member of the National Academy of Sciences, the Academia Europaea, the Finnish Academy of Science and Letters, and the American Academy of Arts and Sciences.

Scott’s fields of work include lattice theory, mathematical logic, model theory, and topology. He has received the Turing Award, a Guggenheim Fellowship, the Harold Pender Award, and the Leroy P. Steele Prize. Among his doctoral students are Jack Copeland, Kenneth Kunen, Angus Macintyre, and Fred S. Roberts. His notable works include *Lectures on a mathematical theory of computation*, *Notes on the formalization of logic*, *Continuous lattices*, and *The lattice of flow diagrams*.

Synthesized by Vinony from 37 facts across 7 sources: Wikidata, Open Library, Crossref, MusicBrainz, Last.fm, Vinony collections, Vinony graph. Generated from structured data (not the Wikipedia text) and checked against those facts — may still contain errors.

Person · Open Library

Works
4

Top works

  • Lectures on a mathematical theory of computation
  • Notes on the formalization of logic
  • Continuous lattices
  • The lattice of flow diagrams

via Open Library + Wikidata

Music · MusicBrainz

Type
Person
Gender
Male
Origin
United States
ambientdark ambientdronefield recordings

Discography

Official siteDiscogsStream

via MusicBrainz · CC0

Listeners · Last.fm

Listeners
5
Total plays
19

<a href="https://www.last.fm/music/Dana+Scott">Read more on Last.fm</a>

via Last.fm · Dana Scott

Recent publications · Crossref

5 total works indexed

  1. Common method biases in behavioral research: A critical review of the literature and recommended remedies.

    · 2003 · cited 67,662x

  2. Gene set enrichment analysis: A knowledge-based approach for interpreting genome-wide expression profiles

    · 2005 · cited 48,815x

  3. SciPy 1.0: fundamental algorithms for scientific computing in Python

    · 2020 · cited 36,455x

  4. Going deeper with convolutions

    · 2015 · cited 32,860x

  5. QIIME allows analysis of high-throughput community sequencing data

    · 2010 · cited 30,942x

via Crossref · CC0

Key facts

Born
( 1932-10-11 ) October 11, 1932 (age 93) , Berkeley, California
Education
University of California, Berkeley ( BA ), Princeton University ( MA , PhD)
Awards
Leroy P. Steele Prize (1972) Turing Award (1976) Tarski Lectures (1989) Harold Pender Award (1990) Gödel Lecture (1991) Rolf Schock Prize (Logic and Philosophy) (1997)
Fields
Computer science Mathematics Philosophy
Institutions
University of Chicago University of California, Berkeley Stanford Merton College, Oxford Carnegie Mellon University
Thesis
Convergent Sequences of Complete Theories (1958)
Doctoral advisor
Alonzo Church
Doctoral students
Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Peter Mosses Roy Dyckhoff Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner Martin Davies Krister Segerberg [ sv ] Andrej Bauer [ sl ] Joseph Almog [ fi ]

via Wikipedia infobox

~8 min read

Encyclopedic overview

Dana Stewart Scott (born October 11, 1932) is an American logician who is the Hillman University Professor emeritus of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. He is now retired and lives in Berkeley, California. He and Michael O. Rabin won the 1976 ACM Turing Award for their work on automata theory, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.

Early career

Excerpted from Wikipedia’s “Dana Scott” article, available under the CC BY-SA 4.0 licence.

Available in 36 languages

Show 17 more

via Wikidata sitelinks · CC0