Editing Dana Scott (section)

==External links==
* {{official website|http://www-2.cs.cmu.edu/~scott/}} 
* ''[https://web.archive.org/web/20041012130754/http://floc02.diku.dk/DOMAIN/ DOMAIN 2002 Workshop on Domain Theory]''  — held in honor of Scott's 70th birthday.
* {{MathGenealogy|id=8024}}
* {{AcademicSearch|824300}}
* Dana Scott interviewed by [[Gordon Plotkin]], as part of the [[Association for Computing Machinery]] series of interviews of Turing award winners: [https://www.youtube.com/watch?v=OHHmuU_eRg0 Part 1 (Nov 12, 2020)] [https://www.youtube.com/watch?v=M2yXOfwo-vc Part 2 (Dec 29, 2020)] [https://www.youtube.com/watch?v=l_wyFxwkZJc Part 3 (Jan 12, 2021)] [https://www.youtube.com/watch?v=E31qtmAuaVU Part 4 (Feb 18, 2021)]
* ''[https://github.com/CMU-HoTT/scott/ Selected papers of Dana S. Scott]''

{{s-start}}
{{s-aca}}
{{succession box | before=[[Jerzy Łoś]]| title=President of the [[DLMPST|DLMPST/IUHPST]] | years=1983&ndash;1987 | after=[[Laurence Jonathan Cohen]]}}
{{s-end}}
{{EATCS Award laureates}}
{{Schock Prize laureates}}
{{Turing award}}
{{Authority control}}

{{DEFAULTSORT:Scott, Dana}}
[[Category:American computer scientists]]
[[Category:American logicians]]
[[Category:1932 births]]
[[Category:Living people]]
[[Category:Members of the United States National Academy of Sciences]]
[[Category:Carnegie Mellon University faculty]]
[[Category:1994 fellows of the Association for Computing Machinery]]
[[Category:Fellows of the American Mathematical Society]]
[[Category:Fellows of Merton College, Oxford]]
[[Category:Formal methods people]]
[[Category:Lattice theorists]]
[[Category:Mathematical logicians]]
[[Category:Modal logicians]]
[[Category:Model theorists]]
[[Category:Programming language researchers]]
[[Category:Rolf Schock Prize laureates]]
[[Category:Semanticists]]
[[Category:Set theorists]]
[[Category:American topologists]]
[[Category:Turing Award laureates]]
[[Category:University of Chicago faculty]]
[[Category:University of California, Berkeley College of Letters and Science faculty]]
[[Category:Princeton University alumni]]
[[Category:UC Berkeley College of Letters and Science alumni]]
[[Category:People from Berkeley, California]]
[[Category:Engineers from California]]
[[Category:Scientists from California]]
[[Category:20th-century American mathematicians]]
[[Category:20th-century American engineers]]
[[Category:21st-century American engineers]]
[[Category:20th-century American scientists]]
[[Category:21st-century American scientists]]
[[Category:21st-century American mathematicians]]