Dana Scott

Dana Stewart Scott

Biografia
Naixement	11 octubre 1932 (92 anys) Berkeley (Califòrnia)
Nacionalitat	Estatunidenc
Formació	Universitat de Califòrnia a Berkeley (llicenciatura, 1954) Universitat de Princeton (doctorat,1958)
Tesi acadèmica	Convergent Sequences of Complete Theories (1958)
Director de tesi	Alonzo Church
Es coneix per	Teoria d'autòmats semàntica dels llenguatges de programació
Activitat
Camp de treball	Reticle, lògica matemàtica, teoria de models, topologia, programació d'ordinadors, teoria d'autòmats, semàntica i llenguatge de programació
Ocupació	Informàtica Matemàtiques Filosofia
Organització	Universitat de Califòrnia a Berkeley Stanford Universitat d'Oxford Carnegie Mellon
Membre de	Societat Americana de Matemàtiques (Membre de la Societat Americana de Matemàtiques) (2012–) Association for Computing Machinery (membre de l'Association for Computing Machinery) (1994–) Academia Europaea (1992–) Acadèmia Americana de les Arts i les Ciències Acadèmia Finesa de Ciències i Lletres Acadèmia Nacional de Ciències dels Estats Units
Obra
Estudiant doctoral	Jack Copeland Michael Fourman Kenneth Kunen Angus Macintyre Ketan Mulmuley Marko Petkovšek Fred S. Roberts David Turner[1]
Família
Cònjuge	Irene Schreier Scott
Parents	Otto Schreier, sogre
Premis
Premi Leroy P. Steele (1972) Premi Turing (1976) Harold Pender Award (1990) Premis Rolf Schock en Lògica i Filosofia (1997)
Lloc web	cs.cmu.edu…

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.