Robert W Floyd, científico informático estadounidense

Robert W Floyd, (nacido el 8 de junio de 1936, Nueva York, NY, EE. UU., Fallecido el 25 de septiembre de 2001), científico informático estadounidense y ganador del Premio AM Turing 1978, el más alto honor en informática, por "ayudar a fundar los siguientes subcampos importantes de la informática: la teoría del análisis, la semántica de los lenguajes de programación, la verificación automática de programas, la síntesis automática de programas y el análisis de algoritmos ".

En 1953, Floyd obtuvo una licenciatura en artes liberales de la Universidad de Chicago, donde se había inscrito como parte de un programa experimental para niños superdotados. Al graduarse, fue empleado por la Armor Research Foundation del Instituto de Tecnología de Illinois, primero como operador de computadoras y luego como programador de computadoras. Encontró tiempo para obtener una segunda licenciatura, en física, de la Universidad de Chicago en 1958. En 1962 Floyd se mudó a Wakefield, Massachusetts, para trabajar como científico senior de proyectos para Computer Associates, una de las primeras empresas de software que se especializó en escritura. compiladores

Floyd se unió a la facultad de informática del Instituto de Tecnología de Carnegie (ahora Universidad Carnegie Mellon) en 1965. La informática era una nueva disciplina académica, y Floyd fue instrumental en el desarrollo del plan de estudios de la escuela. En 1968, Floyd se mudó al departamento de informática de la Universidad de Stanford, donde se convirtió en profesor titular en 1970. Poco después de su retiro de Stanford en 1994, Floyd fue diagnosticado con la enfermedad de Pick, una forma rara de demencia prematura.

Floyd fue elegido miembro de la Academia Estadounidense de Artes y Ciencias, la Asociación Estadounidense para el Avance de la Ciencia y la Asociación de Maquinaria de Computación (ACM). Sirvió en el consejo editorial de Communications of the ACM durante muchos años y recibió el Premio IEEE Computer Pioneer en 1992. Con el científico informático estadounidense Richard Beigel, Floyd escribió el clásico El lenguaje de las máquinas: una introducción a la computabilidad y los lenguajes formales (1994)