Dana Scott

tipo de documento Articulo Wikipedia Científico

Equipo Didactalia

Me gusta 0
Visitas 140
Comentarios 0
Guardar en
Acciones
- Enviar enlace

Acerca de este recurso...

Dana Scott

Científico

Artículo WikipediaFuente Dbpedia

Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California. Su carrera investigadora alcanzó los campos de las Ciencias de la Computación, Matemáticas y Filosofía, y ha sido caracterizada por combinar una preocupación por elucidar conceptos fundamentales rigurosa pero informalmente, al mismo tiempo que afrontaba los difíciles problemas matemáticos que yacen bajo dichos conceptos. Su trabajo sobre teoría de autómatas le hizo ganar el Premio Turing de la ACM en 1976, mientras que su trabajo en colaboración con Christopher Strachey en los años 1970 fijó los cimientos para los enfoques modernos en semántica de lenguajes de programación. Ha trabajado también en lógica modal, topología y teoría de categorías. Es el editor en jefe de la nueva revista 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/