Juris Hartmanis

Juris Hartmanis

(2012)
Biografia
Naixement	5 juliol 1928 Riga (Letònia)
Mort	29 juliol 2022 (94 anys)
Titular d'una càtedra en una universitat ciències de la computació
1977 – 1982
Titular d'una càtedra en una universitat ciències de la computació
1965 – 1971
Dades personals
Formació	Institut Tecnològic de Califòrnia - matemàtiques (–1955) Universitat de Missouri-Kansas City - matemàtiques (–1951) Universitat de Marburg - física (–1949)
Director de tesi	Robert Dilworth
Activitat
Camp de treball	Ciència computacional, ciències de la computació, time hierarchy theorem ^(en) i teoria de la complexitat computacional
Ocupació	matemàtic, professor d'universitat, informàtic, editor
Ocupador	Universitat Cornell (1965–) General Electric, investigador (1958–1965) Universitat Estatal d'Ohio (1957–1958) Universitat Cornell (1955–1957)
Membre de	Acadèmia Nacional de Ciències dels Estats Units (2013–) Societat Americana de Matemàtiques (Membre de la Societat Americana de Matemàtiques) (2012–) Association for Computing Machinery (membre de l'Association for Computing Machinery) (1994–) Acadèmia Americana de les Arts i les Ciències (Membre de l'Acadèmia Americana de les Arts i les Ciències) (1992–) Acadèmia de Ciències de Letònia (membre estranger) (1990–) Acadèmia Nacional d'Enginyeria (1989–)
Obra
Estudiant doctoral	Neil Immerman, Allan Borodin, Clement Leo McGowan, III ^(en) , Janos Simon ^(en) , Dexter Kozen, Erik Meineche Schmidt ^(en) , Ming Li, Edward Reingold, Richard Chang ^(en) , Pankaj Rohatgi ^(en) , Lane A. Hemaspaandra ^(en) , Theodore Paul Baker ^(en) , Forbes Downer Lewis ^(en) , Jin-Yi Cai ^(en) , Desh Ranjan ^(en) , Stephen Ross Mahaney ^(en) , Leonard Charles Berman ^(en) , James Andrew Kadin ^(en) , Luc Longpré ^(en) i Vivian Diane Sewelson ^(en)
Família
Pare	Mārtiņš Hartmanis
Germans	Astrid Ivask
Premis
(2013)  Premi al servei distingit de l'Association for Computing Machinery, per l'obra Lecture Notes in Computer Science ^(en) (2013)  Membre de la Societat Americana de Matemàtiques (2001)  Grand Medal of the Latvian Academy of Sciences ^(en) (maig 1999)  Doctor honoris causa Conferit per Universitat de Missouri-Kansas City (1995)  doctor honoris causa de l'Universitat Tecnica de Dortmund ^(oc) (1994)  membre de l'Association for Computing Machinery (1993)  Premi Turing (1992)  Membre de l'Acadèmia Americana de les Arts i les Ciències (1981)  membre de l'AAAS
Lloc web	engineering.cornell.edu…

Juris Hartmanis (Riga, 5 de juliol de 1928 - 29 de juliol de 2022) é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 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

• Berman, L.; Hartmanis, J. «On isomorphisms and density of NP and other complete sets». SIAM Journal on Computing, 6, 2, 1977, pàg. 305–322. DOI: 10.1137/0206023..
• Hartmanis, J.; Stearns, R. E. «On the computational complexity of algorithms». Transactions of the American Mathematical Society, 117, 1965, pàg. 285–306. DOI: 10.2307/1994208. JSTOR: 1994208..

Referències

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 manera 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

• Biografia de Hartmanis a Cornell
• Juris Hartmanis al Mathematics Genealogy Project.