Dana Scott
matemático y científico de la computación estadounidense / De Wikipedia, la enciclopedia encyclopedia
Estimado Wikiwand AI, Seamos breves simplemente respondiendo estas preguntas clave:
¿Puede enumerar los principales datos y estadísticas sobre Dana Scott?
Resumir este artículo para un niño de 10 años
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 redactor jefe de la nueva revista Logical Methods in Computer Science (en inglés).
Dana Stewart Scott | ||
---|---|---|
Información personal | ||
Nacimiento |
1932 Berkeley (Estados Unidos) | |
Nacionalidad | Estadounidense | |
Familia | ||
Cónyuge | Irene Schreier Scott | |
Educación | ||
Educación | doctor en Filosofía | |
Educado en | ||
Supervisor doctoral | Alonzo Church | |
Información profesional | ||
Área |
Ciencias de la computación Matemáticas Filosofía | |
Empleador |
Universidad de California, Berkeley Universidad de Oxford Universidad Carnegie Mellon | |
Estudiantes doctorales | Jack Copeland | |
Miembro de | ||
Sitio web | www.cs.cmu.edu/~scott | |
Distinciones |
Premio Turing 1976 Tarski lectures 1989 | |