Joseph Frederick Traub (24 de junio de 1932 - 24 de agosto de 2015) fue un informático estadounidense . Fue Profesor Edwin Howard Armstrong de Ciencias de la Computación en la Universidad de Columbia y Profesor Externo en el Instituto Santa Fe . Ocupó puestos en Bell Laboratories , University of Washington , Carnegie Mellon y Columbia, así como puestos sabáticos en Stanford , Berkeley , Princeton , el Instituto de Tecnología de California y la Universidad Técnica de Munich .
Traub fue el autor o editor de diez monografías y unos 120 artículos sobre informática, matemáticas, física, finanzas y economía. En 1959 comenzó su trabajo sobre la teoría de la iteración óptima que culminó en su monografía de 1964, que todavía está impresa. Posteriormente, fue pionero en el trabajo con Henryk Woźniakowski sobre la complejidad computacional aplicada a problemas científicos continuos ( complejidad basada en información ). Colaboró en la creación de nuevos algoritmos significativos, incluido el algoritmo Jenkins-Traub para ceros polinómicos , así como los algoritmos Kung-Traub, Shaw-Traub, [3] y Brent-Traub. Una de sus áreas de investigación fue la computación cuántica continua. Al 10 de noviembre de 2015, sus obras han sido citadas 8500 veces y tiene un índice hde 35. [4]
De 1971 a 1979 dirigió el Departamento de Ciencias de la Computación en Carnegie Mellon durante un período crítico. De 1979 a 1989 fue presidente fundador del Departamento de Ciencias de la Computación de Columbia. De 1986 a 1992 se desempeñó como presidente fundador de la Junta de Ciencias de la Computación y Telecomunicaciones de las Academias Nacionales y ocupó el cargo nuevamente entre 2005 y 2009. Traub fue editor fundador de Annual Review of Computer Science (1986–1990) [5] y editor en jefe de Journal of Complexity (1985–2015). [6] Tanto su trabajo de investigación como el de creación de instituciones han tenido un gran impacto en el campo de la informática .
Traub asistió a la Escuela Secundaria de Ciencias del Bronx, donde fue capitán y primer tablero del equipo de ajedrez. Después de graduarse del City College de Nueva York , ingresó a Columbia en 1954 con la intención de obtener un doctorado en física. En 1955, siguiendo el consejo de un compañero de estudios, Traub visitó el Laboratorio de Investigación IBM Watson en Columbia. En ese momento, este era uno de los pocos lugares en el país donde un estudiante podía tener acceso a las computadoras. Traub descubrió que su habilidad para el pensamiento algorítmico encajaba perfectamente con las computadoras. En 1957 se convirtió en Watson Fellow a través de Columbia. Su tesis fue sobre mecánica cuántica computacional . Su doctorado de 1959 es en matemáticas aplicadas desde la informática.los títulos aún no estaban disponibles. (De hecho, no había un Departamento de Ciencias de la Computación en Columbia hasta que Traub fue invitado allí en 1979 para iniciar el Departamento).
En 1959, Traub se unió a la División de Investigación de Bell Laboratories en Murray Hill, NJ. Un día, un colega le preguntó cómo calcular la solución de cierto problema. Traub podía pensar en varias formas de resolver el problema. ¿Cuál era el algoritmo óptimo, es decir, un método que minimizara los recursos computacionales requeridos? Para su sorpresa, no existía una teoría de algoritmos óptimos. (La frase complejidad computacional , que es el estudio de los recursos mínimos necesarios para resolver problemas computacionales, no se introdujo hasta 1965). Traub tenía la idea clave de que el algoritmo óptimo para resolver un problema continuo dependía de la información disponible. Esto eventualmente conduciría al campo de la complejidad basada en la información.. La primera área en la que Traub aplicó su conocimiento fue la solución de ecuaciones no lineales. Esta investigación condujo a la monografía de 1964, Métodos iterativos para la solución de ecuaciones, [7] que todavía está en impresión.
En 1966 pasó un año sabático en la Universidad de Stanford donde conoció a un estudiante llamado Michael Jenkins. Juntos crearon el algoritmo Jenkins-Traub para polinomios ceros . Este algoritmo sigue siendo uno de los métodos más utilizados para este problema y se incluye en muchos libros de texto.