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 vd
Parencoj	Otto Schreier vd
Profesio
Okupo	matematikisto • komputosciencisto • inĝeniero • topologo • universitata instruisto vd
Laborkampo	latiso • matematika logiko • modelo-teorio • topologio • programado • aŭtomatoteorio • semantiko • programlingvo vd
Doktoreca konsilisto	Alonzo Church vd
Honorigoj Honorigoj Premio Turing • Guggenheim-stipendio • Harold Pender Award • Premio Rolf Schock pri Logiko kaj Filozofio • Gödel Lecturer • EATCS award • Premio Leroy P. Steele • Premio Rolf Schock • ACM Fellow • honorary doctor of the University of Utrecht • honora doktoro de la Universitato de Edinburgo • Fellow of the American Mathematical Society vd
Membrecoj Membrecoj Usona Nacia Akademio de Sciencoj • Academia Europaea • Finnish Academy of Science and Letters • Usona Akademio de Artoj kaj Sciencoj • Asocio por Komputila Maŝinaro • Usona Matematika Societo 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.