Este artículo necesita citas adicionales para su verificación . ( julio de 2016 ) |
Joseph F. Traub | |
---|---|
Nació | Joseph Frederick Traub 24 de junio de 1932 |
Fallecido | 24 de agosto de 2015 Santa Fe, Nuevo México , EE. UU. [2] | (83 años)
Nacionalidad | Estados Unidos |
alma mater | City College of New York (BS, 1954) Columbia University (Ph.D., Matemáticas Aplicadas, 1959) |
Esposos) | Pamela McCorduck |
Carrera científica | |
Los campos | Ciencias de la Computación |
Instituciones | Universidad de Colombia |
Tesis | Cálculos de variación en los estados Triplet-2S y Triplet-2P del helio (1959) |
Asesor de doctorado | Henry M. Foley |
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ó cargos en Bell Laboratories , University of Washington , Carnegie Mellon y Columbia, así como cargos sabáticos en Stanford , Berkeley , Princeton , California Institute of Technology y Technical University, Munich.. Traub fue autor o editor de diez monografías y unos 120 artículos en 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 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 polinomiales , así como Kung-Traub , Shaw-Traub y Brent-Traub.algoritmos. 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 h de 35. [3]
De 1971 a 1979 dirigió el Departamento de Ciencias de la Computación en Carnegie Mellon y lo llevó de un período crítico a la eminencia (ver archivo digital de Joseph Traub en Carnegie Mellon ). De 1979 a 1989 fue el presidente fundador del Departamento de Ciencias de la Computación en 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 volvió a ocupar el cargo entre 2005 y 2009. Traub fue editor en jefe fundador, Journal of Complexity , en 1985 hasta su muerte en 2015. [4] Tanto su trabajo de investigación como de desarrollo institucional han tenido un gran impacto en el campo de la informática .
Asistió a la Bronx High School of Science, 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 IBM Watson Research Lab en Columbia. En ese momento, este era uno de los pocos lugares del país donde un estudiante podía tener acceso a computadoras. Traub descubrió que su habilidad para el pensamiento algorítmico encajaba perfectamente con las computadoras. En 1957 se convirtió en miembro de Watson a través de Columbia. Su tesis fue sobre la mecánica cuántica computacional . Su doctorado de 1959 es en matemáticas aplicadas desde ciencias de la computación.los grados aún no estaban disponibles. (De hecho, no había un Departamento de Ciencias de la Computación en Columbia hasta que se invitó a Traub en 1979 para iniciar el Departamento).
En 1959, Traub se unió a la División de Investigación de Bell Laboratories en Murray Hill, Nueva Jersey. Un día, un colega le preguntó cómo calcular la solución de cierto problema. Traub pudo pensar en varias formas de resolver el problema. ¿Cuál fue el algoritmo óptimo, es decir, un método que minimizaría los recursos computacionales requeridos? Para su sorpresa, no existía una teoría de los algoritmos óptimos. (La frase complejidad computacional , que es el estudio de los recursos mínimos requeridos para resolver problemas computacionales, no se introdujo hasta 1965). Traub tuvo la idea clave de que el algoritmo óptimo para resolver un problema continuo dependía de la información disponible. Esto finalmente 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 , que todavía está impresa.
En 1966 pasó un año sabático en 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.
En 1970 se convirtió en profesor en la Universidad de Washington y en 1971 se convirtió en Director del Departamento de Ciencias de la Computación de Carnegie Mellon . El Departamento era bastante pequeño e incluía a Gordon Bell , Nico Haberman, Allen Newell , Raj Reddy , Herbert A. Simon y William Wulf . Justo antes de 1971, muchos profesores habían dejado el Departamento para ocupar puestos en otros lugares. Los profesores que se quedaron formaron un núcleo de científicos de clase mundial reconocidos como líderes de la disciplina. Para 1978, el Departamento había crecido a unos 50 profesores de docencia e investigación (véase el archivo digital de Joseph Traub en Carnegie Mellon ).
Uno de los estudiantes de doctorado de Traub era HT Kung , ahora profesor presidido en Harvard. Crearon el algoritmo de Kung-Traub para calcular la expansión de una función algebraica. Demostraron que calcular los primeros términos no era más difícil que multiplicar polinomios de dos grados. Isaac Newton había trabajado en este problema y no comprendió un punto clave.
En 1973 invitó a Henryk Woźniakowski a visitar CMU . Fueron pioneros en el campo de la complejidad basada en la información , siendo coautores de tres monografías y numerosos artículos. Woźniakowski es ahora profesor emérito tanto en Columbia como en la Universidad de Varsovia , Polonia.
En 1978, mientras tomaba un año sabático en Berkeley , Peter Likins lo reclutó para convertirse en presidente fundador del Departamento de Ciencias de la Computación de Columbia y profesor de Ciencias de la Computación Edwin Howard Armstrong . Se desempeñó como presidente de 1979 a 1989.
En 1980 fue coautor de A General Theory of Optimal Algorithms , con Woźniakowski. Esta fue la primera monografía de investigación sobre la complejidad basada en la información. Greg Wasilkowski se unió a Traub y Woźniakowski en dos monografías más Information, Uncertainty, Complexity, Addison-Wesley, 1983, y Information-Based Complexity, Academic Press, 1988.
En 1985, Traub se convirtió en editor en jefe fundador del Journal of Complexity . Esta fue probablemente la primera revista que tuvo complejidad en el sentido de complejidad computacional en su título. Comenzando con dos números y 285 páginas en 1985, la Revista ahora publica seis números y casi 1000 páginas. Traub continúa como editor en jefe.
En 1986, las Academias Nacionales le pidieron que formara una Junta de Ciencias de la Computación. El nombre original de la Junta era la Junta de Tecnología y Ciencias de la Computación (CSTB). Varios años más tarde, se le pidió a CSTB que también fuera responsable de las telecomunicaciones, por lo que se le cambió el nombre a Junta de Ciencias de la Computación y Telecomunicaciones , conservando la abreviatura CSTB. La Junta se ocupa de cuestiones nacionales críticas en informática y telecomunicaciones . Traub ocupó el cargo de presidente fundador entre 1986 y 1992 y volvió a ocupar el cargo entre 2005 y 2009.
En 1990 Traub enseñó en la escuela de verano del Instituto Santa Fe (SFI). Desde entonces ha desempeñado una variedad de roles en SFI. En la década de los noventa organizó una serie de Talleres sobre Límites del Conocimiento Científico financiados por la Fundación Alfred P. Sloan . El objetivo era enriquecer la ciencia de la misma forma que el trabajo de Gödel y Turing sobre los límites de las matemáticas enriqueció ese campo. Se realizaron una serie de Talleres sobre límites en diversas disciplinas: física, economía y geofísica.
Desde 1991, Traub ha sido coorganizador de un seminario internacional sobre "Algoritmos continuos y complejidad" en Schloss Dagstuhl , Alemania. El noveno seminario se celebró en septiembre de 2006. Muchas de las charlas del seminario tratan sobre la complejidad basada en la información y, más recientemente, sobre la computación cuántica continua.
Traub fue invitado por la Accademia Nazionale dei Lincee en Roma, Italia, para presentar la Lezione Lincee 1993. Eligió dar el ciclo de seis conferencias en la Scuola Normale de Pisa. Invitó a Arthur Werschulz a unirse a él en la publicación de las conferencias. Las conferencias aparecieron en forma ampliada en Complexity and Information , Cambridge University Press , 1998.
En 1994 le pidió a un estudiante de doctorado, Spassimir Paskov, que comparara el método Monte Carlo (MC) con el método Quasi-Monte Carlo (QMC) al calcular una obligación hipotecaria garantizada (CMO) que Traub había obtenido de Goldman Sachs . Esto implicó la aproximación numérica de varias integrales en 360 dimensiones. Para sorpresa del grupo de investigación, Paskov informó que QMC siempre vencía a MC por este problema. La gente en finanzas siempre había usado MC para tales problemas y los expertos en teoría de números creían que QMC no debería usarse para integrales de dimensión mayor que 12. Paskov y Traub informaron sus resultados a varios Wall Streetfirmas a un considerable escepticismo inicial. Primero publicaron los resultados en Paskov y Traub Faster Evaluation of Financial Derivatives , Journal of Portfolio Management 22, 1995, 113–120. La teoría y el software fueron mejorados en gran medida por Anargyros Papageorgiou . En la actualidad, QMC se utiliza ampliamente en el sector financiero para valorar derivados financieros . QMC no es una panacea para todas las integrales de alta dimensión. Continúan las investigaciones sobre la caracterización de problemas para los que QMC es superior a MC.
En 1999, Traub recibió la medalla del alcalde de ciencia y tecnología. Las decisiones relativas a este premio las toma la Academia de Ciencias de Nueva York . La medalla fue otorgada por el alcalde Rudy Giuliani en una ceremonia en Gracie Mansion , la casa del alcalde de la ciudad de Nueva York.
La ley de Moore es una observación empírica de que el número de características de un chip se duplica aproximadamente cada 18 meses. Esto se ha mantenido desde principios de los años 60 y es responsable de la revolución de la informática y las telecomunicaciones. Se cree ampliamente que la ley de Moore dejará de ser válida en 10 a 15 años utilizando tecnología de silicio. Por tanto, existe interés en la creación de nuevas tecnologías. Un candidato es la computación cuántica . Eso es construir una computadora usando los principios de la mecánica cuántica . Traub y sus colegas decidieron trabajar en computación cuántica continua. La motivación es que la mayoría de los problemas en ciencias físicas, ingeniería y finanzas matemáticas tienen modelos matemáticos continuos.
En 2005, Traub donó unas 100 cajas de material de archivo a la Biblioteca de la Universidad Carnegie Mellon . Esta colección se está digitalizando.
Las patentes estadounidenses US5940810 y US0605837 se concedieron a Traub et al. para el FinDer Software System y fueron asignados a la Universidad de Columbia. Estas patentes cubren la aplicación de una técnica bien conocida (secuencias de baja discrepancia) a un problema bien conocido (valoración de valores). [5]
Tuvo dos hijas, Claudia Traub-Cooper y Hillary Spector. Vivió en Manhattan y Santa Fe con su esposa, la destacada autora Pamela McCorduck, cuyos libros incluyen Machines Who think, The Fifth Generation, The Universal Machine, Aaron's Code y The Futures of Women . [6] Finalmente, a menudo opinaba sobre los acontecimientos actuales escribiendo al New York Times, que publicaba con frecuencia sus comentarios. [7] [8] [9] [10] [11]