Dana Scott

Dana Scott
Persona informo
Dana Stewart Scott
Naskiĝo	11-an de oktobro 1932 (1932-10-11) (93-jaraĝa) en Berkeley
Lingvoj	angla vd
Ŝtataneco	Usono vd
Alma mater	Universitato Princeton - nekonata valoro (nekonata valoro–1958) Universitato de Kalifornio en Berkelio - matematiko (nekonata valoro–1954) vd
Familio
Edz(in)o	Irene Schreier Scott (en) vd
Parencoj	Otto Schreier (mul) (edzina bopatro) vd
Profesio
Okupo	matematikisto • universitata instruisto • logikisto • topologo • komputosciencisto • inĝeniero • filozofo vd
Laborkampo	latiso • matematika logiko • modelo-teorio • topologio • programado • aŭtomatoteorio • semantiko • programlingvo vd
Doktoreca konsilisto	Alonzo Church vd
Honorigoj Honorigoj (2013)  Fellow of the American Mathematical Society (en) (2007)  EATCS award (en) (2001)  Bernard Bolzano Honorary Medal for Merit in the Mathematical Sciences (mul) (1997)  Premio Rolf Schock pri Logiko kaj Filozofio (1997)  Premio Rolf Schock (julio 1995)  honora doktoro de la Universitato de Edinburgo (1994)  ACM Fellow (en) (1991)  Gödel Lecturer (en) (1990)  Harold Pender Award (en) (junio 1986)  honorary doctor of the University of Utrecht (en) (1978)  Guggenheim-stipendio (1976)  Premio Turing (1972)  Premio Leroy P. Steele 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–) Kurt Gödel Society (mul) Usona Asocio por la Altniveligo de Scienco Usona Nacia Akademio de Sciencoj Usona Akademio de Artoj kaj Sciencoj Brita Akademio Finnish Academy of Science and Letters (en) Novjorka Akademio de Sciencoj vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj

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.

Li ricevis kune kun Michael O. Rabin la Turing Premion en 1976.