Juris Hartmanis
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 Marburg - física (–1949) Universitat de Missouri-Kansas City - matemàtiques (–1951) |
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–) 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–) Association for Computing Machinery |
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
| |
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.