Juris Hartmanis

Article

August 10, 2022

Juris Hartmanis (5. heinäkuuta 1928 – 29. heinäkuuta 2022) oli latvialainen amerikkalainen tietojenkäsittelytieteilijä ja laskennan teoreetikko, joka yhdessä Richard E. Stearnsin kanssa sai vuoden 1993 ACM Turing -palkinnon tunnustuksena heidän tärkeästä paperistaan, joka loi perustan laskennallisen monimutkaisuusteorian ala".

Elämä ja ura

Hartmanis syntyi Latviassa 5. heinäkuuta 1928. Hän oli Latvian armeijan kenraalin Mārtiņš Hartmanisin poika ja runoilija Astrid Ivaskin veli. Neuvostoliiton miehitettyä Latvian vuonna 1940 neuvostoliittolaiset pidättivät Mārtiņš Hartmanisin ja kuoli vankilassa. Myöhemmin toisessa maailmansodassa Mārtiņš Hartmanisin vaimo ja lapset lähtivät Latviasta pakolaisina vuonna 1944 peläten turvallisuutensa puolesta, jos Neuvostoliitto valtaaisi Latvian uudelleen. He muuttivat ensin Saksaan, missä Juris Hartmanis suoritti maisterin tutkinnon vuonna 1944. fysiikkaa Marburgin yliopistosta. Tämän jälkeen hän muutti Yhdysvaltoihin, jossa hän suoritti maisterin tutkinnon sovelletussa matematiikan yliopistossa Kansas Cityssä (nykyisin nimellä University of Missouri–Kansas City) ja vuonna 1955 tohtorin tutkinnon. matematiikassa Caltechista Robert P. Dilworthin valvonnassa. Missouri-Kansas Cityn yliopisto kunnioitti häntä humane-kirjeiden kunniatohtorilla toukokuussa 1999. Opetettuaan matematiikkaa Cornellin yliopistossa ja Ohion osavaltion yliopistossa Hartmanis liittyi General Electricin tutkimuslaboratorioon vuonna 1958. General Electricissä ollessaan hän kehitti monia laskennallisen monimutkaisuusteorian periaatteita. Vuonna 1965 hänestä tuli professori Cornellin yliopistossa. Hän oli yksi sen tietojenkäsittelytieteen osaston (joka oli yksi ensimmäisistä tietojenkäsittelytieteen osastoista maailmassa) perustajista ja ensimmäinen puheenjohtaja. Hartmanis osallistui kansallisiin ponnisteluihin tietojenkäsittelytieteen ja -tekniikan (CS&E) edistämiseksi monin tavoin. Mikä tärkeintä, hän toimi puheenjohtajana National Research Councilin tutkimuksessa, jonka tuloksena julkaistiin 1992 Computing the Future – A Broad Agenda for Computer Science and Engineering, jossa esitettiin prioriteetteihinsa perustuvia suosituksia CS&E:n ydinponnistuksen jatkamiseksi, alan laajentamiseksi ja parantaa peruskoulutusta CS&E:ssä. Hän toimi National Science Foundationin (NSF) Computer and Information Science and Engineeringin (CISE) apulaisjohtajana vuosina 1996–1998. Vuonna 1989 Hartmanis valittiin National Academy of Engineeringin jäseneksi hänen perustavanlaatuisensa panoksensa laskennallisen monimutkaisuusteorian sekä tietojenkäsittelyn tutkimukseen ja koulutukseen. Hän oli Association for Computing Machineryn ja American Mathematical Societyn jäsen, myös National Academy of Sciences:n jäsen. Hän oli myös Latvian tiedeakatemian ulkomainen jäsen, joka myönsi hänelle suuren mitalinsa vuonna 2001 hänen panoksestaan ​​tietojenkäsittelytieteeseen. Yhdessä R.E. Stearns, Hartmanis sai vuoden 1993 Turing Award -palkinnon artikkelista, jossa he esittelivät aikamonimutkaisuusluokat TIME(f(n)) ja osoittivat aikahierarkialauseen. Toinen Hartmanisin paperi vuodelta 1977, Leonard Bermanin kanssa, esitteli vielä ratkaisemattoman Berman-Hartmanis-oletuksen, jonka mukaan kaikki NP-täydelliset kielet ovat polynomiaikaisia ​​isomorfisia. Hartmanis kuoli 29. heinäkuuta 2022.

Palkinnot

Fellow, American Association for the Advancement of Science (AAAS), 1981 National Academy of Engineeringin jäsen, 1989 Jäsen (ulkomaalainen): Latvian tiedeakatemia, 1990 American Academy of Arts and Sciences -akatemian jäsen, 1992 ACM Turing -palkinto 1993 Humboldt-säätiön tutkimuspalkinto, 1993 Charter Fellow, ACM, 1994 Humane Letters -kunniatohtori, 1999 Computing Research Associationin (CRA) tunnustuspalvelupalkinto, 2000 Latvian tiedeakatemian suuri mitali, 2001 ACM Distinguished Service Award, 2013 American Mathematical Societyn perustajajäsen, 2013 Kansallisen tiedeakatemian jäsen, 2013

Valitut julkaisut

Kirjat Valitut artikkelit

Haastattelut

Juris Hartmanis on haastateltu neljä kertaa. Videot ovat a