Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia). La seva carrera com a investigador va comprendre informàtica, les matemàtiques i la filosofia. La seva feina en teoria d'autòmats li va fer guanyar el Premi Turing el 1976, mentre que la seva feina en col·laboració amb Christopher Strachey els anys 1970 va posar els fonaments de la semàntica de llenguatges de programació. També ha treballat en lògica modal, topologia i teoria de categories.
Referències
Enllaços externs
Pàgina de Dana S. Scott DOMAIN 2002 Workshop on Domain Theory — celebrada en honor del 70è aniversari de Scott.
Llista de publicacions a Microsoft Academic Search
Categoria:Premiats amb el Premi Turing Categoria:Informàtics californians Categoria:Persones de Berkeley Categoria:Matemàtics californians Categoria:Alumnes de la Universitat de Califòrnia a Berkeley Categoria:Alumnes de la Universitat de Princeton Categoria:Premi Rolf Schock Categoria:Doctors honoris causa per la Universitat d'Edimburg Categoria:Doctors honoris causa per la Universitat d'Utrecht Categoria:Matemàtics del segle XXI Categoria:Matemàtics nascuts al segle XX Categoria:Nascuts el 1932