Dana Scott

Dana Stewart Scott 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.