Dana Scott

Dana Scott
Persona informo
Dana Stewart Scott
Naskiĝo	11-an de oktobro 1932 (1932-10-11) (91-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 (en) (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–) Academia Europaea (1992–) Usona Akademio de Artoj kaj Sciencoj Finnish Academy of Science and Letters (en) Asocio por Komputila Maŝinaro Usona Nacia 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.