
American mathematician and computer scientist
Top works
via Open Library + Wikidata
<a href="https://www.last.fm/music/Dana+Scott">Read more on Last.fm</a>
5 total works indexed
· 2003 · cited 64,899x
· 2005 · cited 47,764x
· 2020 · cited 34,535x
· 2015 · cited 32,499x
· 2010 · cited 30,722x
via Crossref · CC0
via Wikipedia infobox
via Wikidata · CC0
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
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).