Dana Scott

De Viquipèdia
Salta a: navegació, cerca
Infotaula de personaDana Stewart Scott
Scott Dana small.jpg
Dades biogràfiques
Naixement 11 d'octubre de 1932 (1932-10-11) (85 anys)
Berkeley, Califòrnia
Nacionalitat Estatunidenc
Alma mater Universitat de Califòrnia a Berkeley (llicenciatura, 1954)
Universitat de Princeton (doctorat,1958)
Tesi 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 professional
Camp de treball Reticle, Lògica matemàtica, Teoria de models i topologia
Ocupació Informàtica
Matemàtiques
Filosofia
Organització Universitat de Califòrnia a Berkeley
Stanford
Universitat d'Oxford
Carnegie Mellon
Obra
Estudiants de doctorat Jack Copeland
Michael Fourman
Kenneth Kunen
Angus Macintyre
Ketan Mulmuley
Marko Petkovšek
Fred S. Roberts
David Turner[1]
Premis i reconeixements

Lloc web Lloc web oficial
Modifica dades a Wikidata

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[modifica | modifica el codi]

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

Enllaços externs[modifica | modifica el codi]

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Dana Scott Modifica l'enllaç a Wikidata