Dana Stewart Scott (Berkeley,11 ottobre1932) è uninformatico ematematicostatunitense.
È stato professore emerito diinformatica all'Hillman University, filosofia elogica matematica allaCarnegie Mellon University; ora è in pensione e vive aBerkeley,California.
La sua carriera di ricerca ha spaziato tra informatica, matematica efilosofia ed è stata caratterizzata dall'unione dell'illustrazione di concetti fondamentali con rigore informale, con lo sviluppo di problemi matematicamente complessi fondati su questi concetti.
Il suo lavoro inteoria degli automi gli fece conseguire l'ACM Turing Award nel1976, mentre la sua collaborazione conChristopher Strachey, negli anni '70, pose le basi per i moderni approcci allasemantica dei linguaggi di programmazione. Ha lavorato anche sullalogica modale,topologia eteoria delle categorie.
È redattore capo della rivistaLogical Methods in Computer Science.
Altri progetti
Wikimedia Commons contiene immagini o altri file suDana Scott
| Controllo di autorità | VIAF(EN) 65289661 ·ISNI(EN) 0000 0001 1068 0677 ·LCCN(EN) n79118951 ·GND(DE) 1090819455 ·BNF(FR) cb16034934c(data) ·J9U(EN, HE) 987007299816205171 |
|---|
