Dana Scott

Această intrare sau secțiune despre subiecte de matematică și informatică din SUA nu citează sursele necesare sau cei prezenți sunt insuficienți . Puteți îmbunătăți această intrare adăugând citate din surse de încredere în conformitate cu liniile directoare privind utilizarea surselor .

Dana Scott

Dana Stewart Scott ( Berkeley , 11 octombrie 1932 ) este un calculator american și matematic .

A fost profesor emerit de informatică la Universitatea Hillman , filosofie și logică matematică la Universitatea Carnegie Mellon ; acum este pensionar și locuiește în Berkeley , California .

Cariera sa de cercetare a variat între informatică, matematică și filozofie și a fost caracterizată prin unirea ilustrării conceptelor fundamentale cu rigoarea informală, cu dezvoltarea unor probleme matematic complexe bazate pe aceste concepte.

Munca sa în teoria automatelor i-a adus premiul ACM Turing în 1976 , în timp ce colaborarea sa cu Christopher Strachey în anii 1970 a pus bazele abordărilor moderne ale semanticii limbajului de programare . De asemenea, a lucrat la logica modală , topologia și teoria categoriilor .

Este redactor-șef al revistei Logical Methods in Computer Science .

Alte proiecte

• Wikimedia Commons conține imagini sau alte fișiere despre Dana Scott

linkuri externe

• Site oficial , pe cs.cmu.edu .
• ( EN ) Dana Scott , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.
• (EN)Dana Scott , de la Mathematics Genealogia Project , North Dakota State University.

Portal Biografii

Portalul de matematică