Juris Hartmanis

De Viquipèdia
Jump to navigation Jump to search
Infotaula de personaJuris Hartmanis
Juris Hartmanis(2002).jpg
Biografia
Naixement 5 de juliol de 1928 (1928-07-05) (90 anys)
Riga, Letònia Letònia
Nacionalitat Letó
Educació Institut Tecnològic de Califòrnia
Activitat
Director de tesi Robert P. Dilworth Tradueix
Camp de treball Ciència computacional i Ciències de la computació
Ocupació Informàtica
Organització General Electric
Universitat Cornell
Obra
Estudiant doctoral Allan Borodin
Dexter Kozen
Janos Simon
Família
Pare Mārtiņš Hartmanis Tradueix
Germans Astrid Ivask
Premis
Modifica les dades a Wikidata

Juris Hartmanis (nascut el 5 de juliol de 1928) és un important informàtic i teòric de la computació que, juntament amb Richard E. Stearns, va rebre el premi Turing de l'ACM de 1993 "com a reconeixement pel seu article pioner que va establir els fonaments del camp de la teoria de complexitat computacional".

Hartmanis va néixer a Letònia. Era fill de Mārtiņš Hartmanis,[1] general de l'exèrcit letó. Després de l'ocupació soviètica de Letònia el 1940, Mārtiņš Hartmanis fou arrestat i va morir a la presó. Cap al final de la segona guerra mundial, la dona i els fills de Mārtiņš Hartmanis van marxar de Letònia com a refugiats, preocupats per la seva seguretat si la Unió Soviètica recuperava Letònia.

Primer van anar a Alemanya, on Juris Hartmanis va estudiar l'equivalent d'un màster en Física a la Universitat de Marburg. Després va anar als Estats Units, on va rebre un màster en Matemàtica Aplicada a la Universitat de Kansas City (ara coneguda com a Universitat de Missouri-Kansas City) el 1951 i un doctorat en matemàtiques a Caltech dirigit per Robert P. Dilworth el 1955.

Després de fer de professor a Cornell University i Ohio State University, Hartmanis va entrar al Laboratori de Recerca de General Electric el 1958. Mentre era a General Electric, va desenvolupar molts principis de la teoria de complexitat computacional. El 1965, va passar a ser professor a Cornell. Allà, fou un dels fundadors i primer director del departament d'informàtica (que va ser un dels primers del món). Hartmanis és Fellow de l'ACM i de l'American Mathematical Society[2] i membre de les Acadèmies Nacionals d'Enginyeria i de Ciències dels Estats Units.[3]

És conegut sobretot pel seu article amb Richard Stearns, que li va valdre el premi Turing, on va introduir les classes de complexitat temporal TIME (f(n)) i va demostrar el teorema de jerarquia temporal. Un altre article de Hartmanis de 1977, amb Leonard Berman, va introduir la conjectura de Berman-Hartmanis, que encara no s'ha resolt, i que diu que tots els llenguatges NP-complets són isomorfs en temps polinòmic.

Publicacions principals[modifica]

Referències[modifica]

  1. En les llengües bàltiques, els noms propis no són constants sinó que tenen diferents formes gramaticals. Hartmanis és en realitat Hartman-is, on Hartman és l'arrel del nom propi, mentre que el sufix -is indica una forma masculina gramatical en letó. De forma similar, per exemple, el filòsof Kant es coneix com a Kantas en lituà.
  2. List of Fellows of the American Mathematical Society, retrieved 2013-01-19.
  3. National Academy of Sciences Members and Foreign Associates Elected, National Academy of Sciences, April 30, 2013.

Enllaços externs[modifica]