Awarded Fellow of the American Mathematical Society (2013).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement

Figure timeline
Dana Stewart Scott 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 fo…
Text from Wikipedia, available under CC BY-SA 4.0.
science · American logician (born 1932) · mathematician · computer scientist · engineer · topologist · university teacher · logician · philosopher · also Dana Scott, Dana S. Scott, Dana Stewart Scott, Scott
Born 11 October 1932 · Q49823
22 published statements · 0 followers
See & hear
1 photos
Media from Wikimedia Commons, hotlinked at the source under its own licence — see each file for author and terms.
Live now
Pulling headlines from trusted outlets — this usually takes a few seconds
Checking the wires…
Feed scan
These are live links, not archived citations — they only join the timeline once a collect run verifies and archives them.
Live pulse
Most recent outstanding titles, awards, and quotes
Awarded Fellow of the American Mathematical Society (2013).
Text from Wikipedia, available under CC BY-SA 4.0.
Became a fellow of the American Mathematical Society
Text from Wikipedia, available under CC BY-SA 4.0.
Published “Features and development of <i>Coot</i>” in Acta Crystallographica Section D Biological Crystallography — cited 28,831 times.
Awarded EATCS award (2007).
Text from Wikipedia, available under CC BY-SA 4.0.
Workshop on Domain Theory — held in honor of Scott's 70th birthday
Text from Wikipedia, available under CC BY-SA 4.0.
Won Bernard Bolzano Honorary Medal for Merit in the Mathematical Sciences (2001).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Rolf Schock Prizes (1997).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Rolf Schock Prize in Logic and Philosophy (1997).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded honorary doctor of the University of Edinburgh (1995).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded ACM Fellow (1994).
Text from Wikipedia, available under CC BY-SA 4.0.
Was inducted as a Fellow of the Association for Computing Machinery
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Gödel Lecturer (1991).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Harold Pender Award (1990).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded honorary doctor of the University of Utrecht (1986).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Guggenheim Fellowship (1978).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Turing Award (1976).
Text from Wikipedia, available under CC BY-SA 4.0.
Awarded Leroy P. Steele Prize (1972).
Text from Wikipedia, available under CC BY-SA 4.0.
Scott published a paper, A Proof of the Independence of the Continuum Hypothesis, in which he used Boolean-valued models to provide an alternate analysis of the independence of the continuum hypothesis to that provided b
Text from Wikipedia, available under CC BY-SA 4.0.
Published a joint paper with Michael O
Text from Wikipedia, available under CC BY-SA 4.0.
Studied at Princeton University, Doctor of Philosophy (1958).
Text from Wikipedia, available under CC BY-SA 4.0.
Studied at University of California, Berkeley, Bachelor of Arts (1954).
Text from Wikipedia, available under CC BY-SA 4.0.
Born 1932-10-11.
Text from Wikipedia, available under CC BY-SA 4.0.
Connections