Juris Hartmanis

De Viquipèdia
Salta a: navegació, cerca
Infotaula de personaJuris Hartmanis
Juris Hartmanis(2002).jpg
Dades biogràfiques
Naixement 5 de juliol de 1928 (1928-07-05) (89 anys)
Riga, Letònia Letònia
Nacionalitat Letó
Alma mater Institut Tecnològic de Califòrnia
Activitat professional
Camp de treball Ciència computacional i informàtica
Ocupació Informàtica
Organització General Electric
Universitat Cornell
Obra
Estudiants de doctorat Allan Borodin
Dexter Kozen
Janos Simon
Dades familiars
Pare Mārtiņš Hartmanis
Germans Astrid Ivask
Premis i reconeixements
Modifica 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 | modifica el codi]

Referències[modifica | modifica el codi]

  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 | modifica el codi]