Dana Scott

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

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

**Dana Scott**
Dana Scott
Persona informo
	Dana Stewart Scott
Naskiĝo	11-an de oktobro 1932 (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.

Referencoj

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.