Juris Hartmanis-Juris Hartmanis

juris hartmanis
Juris Hartmanis(2002).jpg
Nacido ( 05/07/1928 )5 de julio de 1928
Riga , Letonia
Murió 29 de julio de 2022 (2022-07-29)(94 años)
alma mater
Premios Premio Turing (1993)
carrera cientifica
Campos Ciencias de la Computación
Instituciones
asesor de doctorado Roberto P. Dilworth
estudiantes de doctorado Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5 de julio de 1928 - 29 de julio de 2022) fue un científico informático y teórico computacional estadounidense nacido en Letonia que, junto con Richard E. Stearns , recibió el premio ACM Turing de 1993 "en reconocimiento a su artículo seminal que estableció las bases para el campo de la teoría de la complejidad computacional ".

Vida y carrera

Hartmanis nació en Letonia el 5 de julio de 1928. Era hijo de Mārtiņš Hartmanis  [ lv ] , un general del ejército letón y hermano de la poeta Astrid Ivask . Después de que la Unión Soviética ocupara Letonia en 1940 , Mārtiņš Hartmanis fue arrestado por los soviéticos y murió en una prisión. Más tarde, en la Segunda Guerra Mundial , la esposa y los hijos de Mārtiņš Hartmanis abandonaron Letonia en 1944 como refugiados, temiendo por su seguridad si la Unión Soviética se apoderaba de Letonia nuevamente.

Primero se mudaron a Alemania , donde Juris Hartmanis recibió el equivalente a una maestría en física de la Universidad de Marburg . Luego se mudó a los Estados Unidos , donde en 1951 recibió una maestría en matemáticas aplicadas en la Universidad de Kansas City (ahora conocida como la Universidad de Missouri-Kansas City ) y en 1955 un Ph.D. en matemáticas de Caltech bajo la supervisión de Robert P. Dilworth . La Universidad de Missouri-Kansas City lo honró con un Doctorado Honoris Causa en Humanidades en mayo de 1999. Después de enseñar matemáticas en la Universidad de Cornell y la Universidad Estatal de Ohio , Hartmanis se unió al Laboratorio de Investigación de General Electric en 1958. Mientras estuvo en General Electric, desarrolló muchos principios de la teoría de la complejidad computacional. En 1965, se convirtió en profesor en la Universidad de Cornell. Fue uno de los fundadores y el primer presidente de su departamento de informática (que fue uno de los primeros departamentos de informática del mundo).

Hartmanis contribuyó a los esfuerzos nacionales para promover la ciencia y la ingeniería informática (CS&E) de muchas maneras. Más significativamente, presidió el estudio del Consejo Nacional de Investigación que resultó en la publicación de 1992 Computing the Future: A Broad Agenda for Computer Science and Engineering , que hizo recomendaciones basadas en sus prioridades para sostener el esfuerzo central en CS&E, ampliar el campo y para mejorar la educación universitaria en CS&E. Fue subdirector de la Dirección de Informática y Ciencias de la Información e Ingeniería (CISE) de la Fundación Nacional de Ciencias (NSF) de 1996 a 1998.

En 1989, Hartmanis fue elegido miembro de la Academia Nacional de Ingeniería por sus contribuciones fundamentales a la teoría de la complejidad computacional y a la investigación y educación en computación. Fue miembro de la Association for Computing Machinery y de la American Mathematical Society , también miembro de la National Academy of Sciences . También fue miembro extranjero de la Academia de Ciencias de Letonia , que le otorgó su Gran Medalla  [ lv ] en 2001 por sus contribuciones a la informática.

Junto con RE Stearns , Hartmanis recibió el premio Turing de 1993 por un artículo en el que introdujeron las clases de complejidad temporal TIME(f(n)) y demostraron el teorema de la jerarquía temporal . Otro artículo de Hartmanis de 1977, con Leonard Berman, introdujo la conjetura de Berman-Hartmanis aún sin resolver de que todos los lenguajes NP-completos son polinomiales isomorfos en tiempo.

Hartmanis murió el 29 de julio de 2022. Le sobreviven sus tres hijos Reneta, Martin y Audrey.

Premios

Publicaciones Seleccionadas

Libros
  • Teoría de la estructura algebraica de las máquinas secuenciales 1966 (con RE Stearns )
  • Cálculos factibles y propiedades de complejidad demostrables 1978
  • Teoría de la complejidad computacional (ed.) 1989
  • Computación del futuro: una agenda más amplia para la informática y la ingeniería (ed.) 1992 (con Herbert Lin)
Artículos seleccionados
  • "Complejidad computacional de secuencias recursivas" 1964 (con RE Stearns )
  • "Clasificaciones de cálculos por tiempo y requisitos de memoria" 1965 (con PM Lewis y RE Stearns )
  • "Jerarquías de cálculos de memoria limitada" 1965 (con PM Lewis y RE Stearns )
  • "Sobre la complejidad computacional de los algoritmos" 1965 (con RE Stearns )
  • Límites de memoria para el reconocimiento de lenguajes sensibles al contexto y libres de contexto 1965 (con PM Lewis y RE Stearns )
  • "Sobre isomorfismos y densidad de NP y otros conjuntos completos" 1977 (con L. Berman)
  • "Observaciones sobre el desarrollo de la informática teórica" ​​1981

Entrevistas

Juris Hartmanis ha sido entrevistada cuatro veces. Los videos están disponibles para dos de ellos. El de mayor alcance es el de William Aspray.

  • William Aspray entrevista a Hartmanis para las entrevistas de ACM Oral History, 2009
  • David Gries entrevista a Hartmanis para la colección ecommons de Cornell, 2010
  • Len Shustek entrevista a Hartmanis en un artículo en CACM , 2015
  • David Gries entrevista a Hartmanis como ganador del Premio ACM Turing, 2018

Referencias

enlaces externos