Juris Hartmanis -Juris Hartmanis

Wikipediasta, ilmaisesta tietosanakirjasta

Juris Hartmanis
Juris Hartmanis(2002).jpg
Syntynyt ( 1928-07-05 )5. heinäkuuta 1928
Riika, Latvia
Kuollut 29. heinäkuuta 2022 (29.07.2022)(94-vuotias)
Alma mater
Palkinnot Turing-palkinto (1993)
Tieteellinen ura
Kentät Tietokone Tiede
toimielimet
Tohtoriohjaaja Robert P. Dilworth
Tohtoriopiskelijat Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

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

Elämä ja ura

Hartmanis syntyi Latviassa 5. heinäkuuta 1928. Hän oli Latvian armeijan kenraalin Mārtiņš Hartmanisin [ lv ] 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 vuonna 1944 pakolaisina peläten turvallisuutensa puolesta, jos Neuvostoliitto valtaa Latvian uudelleen.

He muuttivat ensin Saksaan, missä Juris Hartmanis suoritti fysiikan maisterin tutkinnon Marburgin yliopistosta . Tämän jälkeen hän muutti Yhdysvaltoihin, missä hän suoritti maisterin tutkinnon sovelletussa matematiikan yliopistossa Kansas Cityssä (nykyisin Missouri–Kansas Cityn yliopisto ) ja vuonna 1955 tohtorin tutkinnon . matematiikassa Caltechista Robert P. Dilworthin valvonnassa . University of Missouri–Kansas City myönsi hänelle humane Letters -kunniatohtorin toukokuussa 1999. Opetettuaan matematiikkaa Cornellin yliopistossa ja Ohion osavaltion yliopistossa Hartmanis liittyi General Electricin tutkimuslaboratorioon vuonna 1958. General Electricissä ollessaan hän kehitti monia periaatteita. laskennallisen monimutkaisuuden teoriasta. 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 johti National Research Councilin tutkimusta, 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 oli National Science Foundationin (NSF) Computer and Information Science and Engineeringin (CISE) apulaisjohtaja vuosina 1996–1998.

Vuonna 1989 Hartmanis valittiin National Academy of Engineeringin jäseneksi hänen perustavanlaatuisensa panoksensa laskennallisen monimutkaisuuden teorian sekä tietojenkäsittelyn tutkimukseen ja koulutukseen. Hän oli jäsen, Association for Computing Machinery ja American Mathematical Society, myös jäsen National Academy of Sciences . Hän oli myös Latvian tiedeakatemian ulkomainen jäsen, joka myönsi hänelle suuren mitalinsa [ lv ] vuonna 2001 hänen panoksestaan ​​tietojenkäsittelytieteeseen.

Yhdessä RE Stearnsin kanssa Hartmanis sai vuoden 1993 Turing-palkinnon artikkelista, jossa he esittelivät aikamonimutkaisuusluokat TIME(f(n)) ja osoittivat aikahierarkialauseen . Toinen Hartmanisin artikkeli 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. Hänestä jäivät hänen kolme lastaan ​​Reneta, Martin ja Audrey.

Palkinnot

Valitut julkaisut

Kirjat
  • Sekvenssikoneiden algebrallinen rakenneteoria 1966 ( RE Stearnsin kanssa )
  • Toteutettavat laskelmat ja todistettavissa olevat monimutkaisuusominaisuudet 1978
  • Computational Complexity Theory (toim.) 1989
  • Computing the Future: Laajempi ohjelma tietojenkäsittelytieteen ja tekniikan alalla (toim.) 1992 (Herbert Linin kanssa)
Valitut artikkelit
  • "Rekursiivisten sekvenssien laskennallinen monimutkaisuus" 1964 ( RE Stearnsin kanssa )
  • "Laskelmien luokitukset aika- ja muistivaatimusten mukaan" 1965 (PM Lewisin ja RE Stearnsin kanssa )
  • "Muistirajattujen laskelmien hierarkiat" 1965 (PM Lewisin ja RE Stearnsin kanssa )
  • "Algoritmien laskennallisuudesta" 1965 ( RE Stearnsin kanssa )
  • Muistirajat kontekstittomien ja kontekstiherkkien kielten tunnistamiseen 1965 (PM Lewisin ja RE Stearnsin kanssa )
  • "On isomorfismeja ja tiheys NP ja muut kokonaiset" 1977 (yhdessä L. Berman)
  • "Havaintoja teoreettisen tietojenkäsittelytieteen kehityksestä" 1981

Haastattelut

Juris Hartmanis on haastateltu neljä kertaa. Videoita on saatavilla kahdelle niistä. Kaikkein kauaskantoisin on William Aspray.

Viitteet

Ulkoiset linkit