Dana Scott

EEUU | 1932

Matemático, lógico y científico informático estadounidense nacido en Berkeley, California. Obtuvo una licenciatura en Matemáticas por la Universidad de California, Berkeley, y un doctorado en Matemáticas por la Universidad de Princeton. Comenzó su carrera académica en la Universidad de Chicago (1958-1960), seguida de la Universidad de California, Berkeley (1960-1963), la Universidad de Stanford (1963-1969), la Universidad de Princeton (1969-1972) y la Universidad de Oxford (1972-1981). En 1981 se incorporó al profesorado de la Universidad Carnegie Mellon, donde al año siguiente se convirtió en profesor de Lógica Matemática, Informática y Filosofía de la Universidad Hillman. Scott se jubiló como profesor emérito en 2003. El último puesto de Scott, en Carnegie Mellon, da una idea de la notable diversidad de sus intereses académicos. Además de contribuir con su trabajo seminal sobre la teoría de autómatas, Scott colaboró en la década de 1970 con el informático británico Christopher Strachey para sentar las bases de la semántica matemática, o denotacional, de los lenguajes de programación informática. Fue el primer editor jefe de Logical Methods in Computer Science, una revista en línea de acceso abierto fundada en 2005. Entre sus premios se incluyen el Premio LeRoy P. Steele de 1972 de la Sociedad Matemática Estadounidense, el Premio Rolf Shock en Lógica y Filosofía de 1997 de la Real Academia Sueca de Ciencias y la Medalla de Oro de 2009 de la Academia Rusa de Ciencias. © Britannica

Textos:

Autómatas finitos y su problema de decisión (fragmento)

Galardones:

Rolf Schock (1997)