Dana Scott

Membrecoj
Membrecoj	Usona Matematika Societo (Fellow of the American Mathematical Society (en) ) (2012–); Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (1994–); Academia Europaea (1992–); Usona Akademio de Artoj kaj Sciencoj ; Finnish Academy of Science and Letters (en) ; Usona Nacia Akademio de Sciencoj vd

Honorigoj
Honorigoj	(2013) Fellow of the American Mathematical Society (en) ; (2007) EATCS award (en) ; (1997) Premio Rolf Schock pri Logiko kaj Filozofio; (1997) Premio Rolf Schock; (1994) ACM Fellow (en) ; (1991) Gödel Lecturer (en) ; (1990) Harold Pender Award (en) ; (1978) Guggenheim-stipendio; (1976) Premio Turing; (1972) Premio Leroy P. Steele; honora doktoro de la Universitato de Edinburgo; honorary doctor of the University of Utrecht (en) ; vd

**Dana Scott**
Dana Scott
Persona informo
	Dana Stewart Scott
Naskiĝo	11-an de oktobro 1932 (92-jaraĝa); en Berkeley
Lingvoj	angla vd
Ŝtataneco	Usono vd
Alma mater	Universitato Princeton ; Universitato de Kalifornio ĉe Berkeley vd
Familio
Edz(in)o	Irene Schreier Scott (en) vd
Parencoj	Otto Schreier (mul) (bopatro) vd
Profesio
Okupo	matematikisto ; topologo ; inĝeniero ; komputosciencisto ; universitata instruisto vd
Laborkampo	Latiso, matematika logiko, modelo-teorio, topologio, programado, aŭtomatoteorio, semantiko kaj programlingvo vd
Doktoreca konsilisto	Alonzo Church vd
Honorigoj
Honorigoj	(2013) Fellow of the American Mathematical Society (en) ; (2007) EATCS award (en) ; (1997) Premio Rolf Schock pri Logiko kaj Filozofio; (1997) Premio Rolf Schock; (1994) ACM Fellow (en) ; (1991) Gödel Lecturer (en) ; (1990) Harold Pender Award (en) ; (1978) Guggenheim-stipendio; (1976) Premio Turing; (1972) Premio Leroy P. Steele; honora doktoro de la Universitato de Edinburgo; honorary doctor of the University of Utrecht (en) ; vd
Membrecoj
Membrecoj	Usona Matematika Societo (Fellow of the American Mathematical Society (en) ) (2012–); Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (1994–); Academia Europaea (1992–); Usona Akademio de Artoj kaj Sciencoj ; Finnish Academy of Science and Letters (en) ; Usona Nacia Akademio de Sciencoj vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj
	v • d • r

Dana Stewart SCOTT (n. 11-a de oktobro 1932) estas usona logikisto kiu estas Profesoro de Komputila Scienco, Filozofio kaj Matematika Logiko ĉe Carnegie Mellon Universitato; li estas nun emeritiĝita kaj vivoj en Berkeley, Kalifornio. Li laboris ankaŭ sur reĝima logiko, topologio kaj kategoria teorio.

Referencoj