Juris Hartmanis
![]() (2012) ![]() | |
Biografia | |
---|---|
Naixement | 5 juliol 1928 ![]() Riga (Letònia) ![]() |
Mort | 29 juliol 2022 ![]() |
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) ![]() ![]() |
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) ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Família | |
Pare | Mārtiņš Hartmanis ![]() |
Germans | Astrid Ivask ![]() |
Premis
| |
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
- ↑ 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à.
- ↑ List of Fellows of the American Mathematical Society, retrieved 2013-01-19.
- ↑ 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.