Dana Scott

matemàtic, lògic, informàtic i filòsof estatunidenc

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.

Infotaula de personaDana Stewart Scott
Scott Dana small.jpg
Modifica el valor a Wikidata
Biografia
Naixement11 octubre 1932 Modifica el valor a Wikidata (88 anys)
Berkeley (Califòrnia) Modifica el valor a Wikidata
Dades personals
NacionalitatEstatunidenc
FormacióUniversitat de Califòrnia a Berkeley (llicenciatura, 1954)
Universitat de Princeton (doctorat,1958)
Conegut perTeoria d'autòmats
semàntica dels llenguatges de programació
Activitat
Tesi acadèmicaConvergent Sequences of Complete Theories (1958)
Director de tesiAlonzo Church
Camp de treballReticle, lògica matemàtica, teoria de models, topologia i programació d'ordinadors Modifica el valor a Wikidata
OcupacióInformàtica
Matemàtiques
Filosofia
OrganitzacióUniversitat de Califòrnia a Berkeley
Stanford
Universitat d'Oxford
Carnegie Mellon
Membre de
Obra
Estudiant doctoralJack Copeland
Michael Fourman
Kenneth Kunen
Angus Macintyre
Ketan Mulmuley
Marko Petkovšek
Fred S. Roberts
David Turner[1]
Família
CònjugeIrene Schreier Scott Modifica el valor a Wikidata
ParentsOtto Schreier (sogre) Modifica el valor a Wikidata
Premis
Premi Leroy P. Steele (1972)
Premi Turing (1976)
Harold Pender Award (1990)
Premis Rolf Schock en Lògica i Filosofia (1997)

Lloc webcs.cmu.edu… Modifica el valor a Wikidata

ReferènciesModifica

  1. «Dana Stewart Scott». Mathematics Genealogy Project. North Dakota State University. [Consulta: 26 desembre 2011].

Enllaços externsModifica

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Dana Scott