Dana Scott

El Vikipedio, la libera enciklopedio
Dana Scott
Scott Dana small.jpg
Persona informo
Dana Stewart Scott
Naskiĝo 11-an de oktobro 1932 (1932-10-11) (90-jara)
en Berkeley
Lingvoj angla [#]
Ŝtataneco Usono [#]
Alma mater Universitato PrincetonUniversitato de Kalifornio ĉe Berkeley [#]
Familio
Edz(in)o Irene Schreier Scott [#]
Parencoj Otto Schreier [#]
Profesio
Okupo matematikisto • komputikistoinĝeniero • topologo • universitata instruisto [#]
Laborkampo latisomatematika logikomodelo-teoriotopologioprogramado • aŭtomatoteorio • semantikoprogramlingvo [#]
Doktoreca konsilisto Alonzo Church [#]
En TTT Oficiala retejo [#]
[#] Fonto: Vikidatumoj
Wikidata-logo.svg
Information icon.svg
vdr

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.[1]

Referencoj[redakti | redakti fonton]