Dana Scott

Dana Stewart Scott
Scott Dana small.jpg
Nacimiento 1932
Campo Ciencias de la computación
Matemáticas
Filosofía
Instituciones Universidad de California, Berkeley
Universidad de Oxford
Universidad Carnegie Mellon
Premios
destacados
Premio Turing 1976
Tarski lectures 1989
[ editar datos en Wikidata]

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.

Inicios de su Carrera

Se licenció en Matemáticas por la Universidad de California, Berkeley en 1954. Su tesis doctoral, titulada Convergent Sequences of Complete Theories (del inglés, Secuencias Convergentes de Teorías Completas) bajo la supervisión de Alonzo Church, fue defendida en 1958 en la Universidad de Princeton. Tras completar su estudios de doctorado, se mudó a la Universidad de Chicago, impartiendo clases hasta 1960.

En 1959 publicó un artículo junto con Michael O. Rabin, un colega de Princeton, titulado Finite Automata and Their Decisión Problem (Autómatas Finitos y el Problema de su Decidibilidad), que introdujo la idea de las máquinas no determinísticas en el campo de la teoría de autómatas. Este trabajo les proporcionó el Premio Turing, por haber presentado un concepto tan fundamental en complejidad computacional.

Other Languages
العربية: دانا سكوت
български: Дейна Скот
català: Dana Scott
čeština: Dana Scott
Deutsch: Dana Scott
Ελληνικά: Ντέινα Σκοτ
English: Dana Scott
suomi: Dana Scott
français: Dana S. Scott
galego: Dana Scott
Kreyòl ayisyen: Dana Scott
Bahasa Indonesia: Dana Scott
italiano: Dana Scott
한국어: 데이나 스콧
Malagasy: Dana S. Scott
Nederlands: Dana Scott
polski: Dana Scott
português: Dana Scott
română: Dana Scott
русский: Скотт, Дана
srpskohrvatski / српскохрватски: Dana Scott
slovenčina: Dana Scott
српски / srpski: Дејна Скот
українська: Дана Скотт