Dana Scott

Also known as Dana S. Scott, Dana Stewart Scott

American mathematician and computer scientist

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 site Discogs Stream

via MusicBrainz · CC0

Listeners · Last.fm

Listeners: 5
Total plays: 19

via Last.fm · Dana Scott

Recent publications · Crossref

5 total works indexed

Common method biases in behavioral research: A critical review of the literature and recommended remedies.
· 2003 · cited 64,899x
Gene set enrichment analysis: A knowledge-based approach for interpreting genome-wide expression profiles
· 2005 · cited 47,764x
SciPy 1.0: fundamental algorithms for scientific computing in Python
· 2020 · cited 34,535x
Going deeper with convolutions
· 2015 · cited 32,499x
QIIME allows analysis of high-throughput community sequencing data
· 2010 · cited 30,722x

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

Wikidata facts

Official website: www.cs.cmu.edu/~scott
Image: Scott Dana small.jpg

Show 4 more facts

Commons category: Dana Scott
date of birth: 1932-10-11
Erdős number: 3
name in native language: Dana Stewart Scott

Sources (5)

via Wikidata · CC0

~8 min read

Article

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