Juris Hartmanis

Article

August 13, 2022

Juris Hartmanis (5 de juliol de 1928 - 29 de juliol de 2022) va ser un científic informàtic i teòric computacional nord-americà nascut a Letònia que, amb Richard E. Stearns, va rebre el premi Turing ACM de 1993 "en reconeixement al seu treball fonamental que va establir les bases per a el camp de la teoria de la complexitat computacional".

Vida i carrera

Hartmanis va néixer a Letònia el 5 de juliol de 1928. Era fill de Mārtiņš Hartmanis, un general de l'exèrcit letó i germà de la poeta Astrid Ivask. Després que la Unió Soviètica ocupés Letònia el 1940, Mārtiņš Hartmanis va ser arrestat pels soviètics i va morir en una presó. Més tard, a la Segona Guerra Mundial, la dona i els fills de Mārtiņš Hartmanis van abandonar Letònia el 1944 com a refugiats, tement per la seva seguretat si la Unió Soviètica tornava a fer-se càrrec de Letònia. Primer es van traslladar a Alemanya, on Juris Hartmanis va rebre l'equivalent a un màster en Física de la Universitat de Marburg. Després es va traslladar als Estats Units, on el 1951 va rebre un màster en matemàtiques aplicades a la Universitat de Kansas City (ara coneguda com a Universitat de Missouri–Kansas City) i el 1955 un doctorat. en matemàtiques de Caltech sota la supervisió de Robert P. Dilworth. La Universitat de Missouri-Kansas City el va honorar amb un Doctor Honoris Causa en Lletres Humanes el maig de 1999. Després d'ensenyar matemàtiques a la Universitat de Cornell i a la Universitat Estatal d'Ohio, Hartmanis es va incorporar al Laboratori d'Investigació de General Electric el 1958. Mentre estava a General Electric, va desenvolupar molts principis de la teoria de la complexitat computacional. El 1965, es va convertir en professor a la Universitat de Cornell. Va ser un dels fundadors i el primer president del seu departament d'informàtica (que va ser un dels primers departaments d'informàtica del món). Hartmanis va contribuir als esforços nacionals per avançar en la ciència i l'enginyeria informàtica (CS&E) de moltes maneres. El més significatiu és que va presidir l'estudi del National Research Council que va donar lloc a la publicació de 1992 Computing the Future - A Broad Agenda for Computer Science and Engineering, que va fer recomanacions basades en les seves prioritats per mantenir l'esforç bàsic en CS&E, per ampliar el camp, i per millorar l'educació de grau en CS&E. Va ser subdirector de la National Science Foundation (NSF) Directorate of Computer and Information Science and Engineering (CISE) de 1996 a 1998. El 1989, Hartmanis va ser escollit com a membre de l'Acadèmia Nacional d'Enginyeria per les contribucions fonamentals a la teoria de la complexitat computacional i a la investigació i l'educació en informàtica. Va ser membre de l'Associació per a la Maquinària Informàtica i de l'American Mathematical Society, també membre de l'Acadèmia Nacional de Ciències. També va ser membre estranger de l'Acadèmia de Ciències de Letònia, que li va atorgar la seva Gran Medalla el 2001 per les seves contribucions a la informàtica. Juntament amb R.E. Stearns, Hartmanis va rebre el premi Turing de 1993 per un article en què van introduir les classes de complexitat temporal TIME(f(n)) i van demostrar el teorema de la jerarquia del temps. Un altre article de Hartmanis de 1977, amb Leonard Berman, va introduir la conjectura de Berman-Hartmanis encara no resolta que tots els llenguatges NP-complets són isomorfs en temps polinomial. Hartmans va morir el 29 de juliol de 2022.

Premis

Membre de l'Associació Americana per a l'Avenç de la Ciència (AAAS), 1981 Membre de l'Acadèmia Nacional d'Enginyeria, 1989 Membre (estranger): Acadèmia de Ciències de Letònia, 1990 Membre de l'Acadèmia Americana de les Arts i les Ciències, 1992 Premi ACM Turing 1993 Premi de recerca de la Fundació Humboldt, 1993 Charter Fellow, ACM, 1994 Doctor Honoris Causa en Lletres Humanes, 1999 Premi al servei distingit de la Computing Research Association (CRA), 2000 Gran Medalla de l'Acadèmia de Ciències de Letònia, 2001 ACM Distinguished Service Award, 2013 Inaugural Fellow, American Mathematical Society, 2013 Membre de l'Acadèmia Nacional de Ciències, 2013

Publicacions seleccionades

Llibres Articles seleccionats

Entrevistes

Juris Hartmanis ha estat entrevistat quatre vegades. Els vídeos són a