Dana Scott
Sign in to saveAmerican mathematician and computer scientist
Person · Open Library
- Born
- 1932-10-11
- 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
Listeners · Last.fm
- Listeners
- 5
- Total plays
- 19
<a href="https://www.last.fm/music/Dana+Scott">Read more on Last.fm</a>
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
Key dates
- Born
- 11 October 1932
via Wikidata · CC0
Wikidata facts
- Instance of
- human
- Given name
- Dana
- Family name
- Scott
- Gender
- male
- Citizenship
- United States
- Place of birth
- Berkeley
- Occupation
- philosopher
- Educated at
- University of California, Berkeley
- Employer
- Johannes Kepler University Linz
- Languages spoken
- English language
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
Connections
Categories
1932 births20th-century American engineers20th-century American mathematicians20th-century American scientists21st-century American engineers21st-century American mathematicians21st-century American scientistsAcademics from Berkeley, CaliforniaAmerican computer scientistsAmerican logiciansAmerican topologistsCarnegie Mellon University faculty