Dana Scott

tipo de documento Articolo di Wikipedia Científico

Equipo Didactalia

Mi piace 0
Visite 140
Commenti 0
Salva su
Azioni
- Invia link

Info su questa risorsa...

Dana Scott

Científico

Artículo WikipediaFuente Dbpedia

Dana S. Scott (1932) è un informatico e matematico statunitense.È stato professore emerito di informatica all'Hillman University, filosofia e logica matematica alla Carnegie Mellon University; ora è in pensione e vive a Berkeley, California. La sua carriera di ricerca ha spaziato tra informatica, matematica e filosofia 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 in teoria degli automi gli fece conseguire l'ACM Turing Award nel 1976, mentre la sua collaborazione con Christopher Strachey, negli anni '70, pose le basi per i moderni approcci alla semantica dei linguaggi di programmazione. Ha lavorato anche sulla logica modale, topologia e teoria delle categorie. È redattore capo della rivista Logical Methods in Computer Science.

Fecha de nacimiento 1932-10-11

Año de nacimiento 1932

Numero individualizado de la Biblioteca Nacional Alemana 11396532X

Wikipedia Inglés http://en.wikipedia.org/wiki/Dana_Scott

Wikipedia Español http://es.wikipedia.org/wiki/Dana_Scott

Enlaces externos relacionado http://plato.stanford.edu/entries/prior/ http://www-2.cs.cmu.edu/~scott/ http://math.stanford.edu/~feferman/papers/tarskiandcs.pdf http://floc02.diku.dk/DOMAIN/