Juris Hartmanis -Juris Hartmanis

A Wikipédiából, a szabad enciklopédiából

Juris Hartmanis
Juris Hartmanis(2002).jpg
Született ( 1928-07-05 )1928. július 5
Riga, Lettország
Meghalt 2022. július 29. (2022-07-29)(94 évesen)
alma Mater
Díjak Turing-díj (1993)
Tudományos karrier
Mezők Számítástechnika
Intézmények
Doktori tanácsadó Robert P. Dilworth
Doktoranduszok Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (1928. július 5. – 2022. július 29.) lett származású amerikai informatikus és számítástechnikai teoretikus, aki Richard E. Stearnsszel együtt 1993-ban megkapta az ACM Turing-díjat „az alapokat megalapozó tanulmányuk elismeréseként. a számítási komplexitás elméletének területe ".

Élet és karrier

Hartmanis Lettországban született 1928. július 5-én. Mārtiņš Hartmanis [ lv ], a lett hadsereg tábornokának fia volt, és Astrid Ivask költő testvére . Miután a Szovjetunió 1940-ben megszállta Lettországot, Mārtiņš Hartmanist a szovjetek letartóztatták, és egy börtönben halt meg. Később, a második világháborúban Mārtiņš Hartmanis felesége és gyermekei 1944-ben menekültként hagyták el Lettországot, félve a biztonságukat, ha a Szovjetunió újra átveszi Lettország uralmát.

Először Németországba költöztek, ahol Juris Hartmanis a Marburgi Egyetemen szerzett fizika mesterdiplomával egyenértékű diplomát . Ezután az Egyesült Államokba költözött, ahol 1951-ben mesteri fokozatot szerzett alkalmazott matematikából a Kansas City-i Egyetemen (ma University of Missouri–Kansas City ), majd 1955-ben Ph.D. matematikából a Caltechtől Robert P. Dilworth felügyelete alatt . A University of Missouri–Kansas City 1999 májusában a Humane Letters tiszteletbeli doktora címmel tüntette ki. A Cornell Egyetemen és az Ohio Állami Egyetemen tanított matematika után Hartmanis 1958-ban csatlakozott a General Electric Research Laboratoryhoz. A General Electricnél számos elvet dolgozott ki. a számítási komplexitás elmélete. 1965-ben a Cornell Egyetem professzora lett. Ő volt a számítástechnikai tanszék (amely a világ egyik első számítástechnikai tanszéke volt) egyik alapítója és első elnöke .

Hartmanis számos módon hozzájárult a számítástechnika és mérnöki tudomány (CS&E) fejlesztésére irányuló nemzeti erőfeszítésekhez. A legjelentősebb, hogy ő vezette a Nemzeti Kutatási Tanács tanulmányát, amelynek eredményeként 1992-ben megjelent a Computing the Future – A Broad Agenda for Computer Science and Engineering című kiadvány, amely prioritásai alapján ajánlásokat fogalmazott meg a CS&E területén végzett alapvető erőfeszítések fenntartására, a terület kiszélesítésére, valamint az alapfokú oktatás javítása a CS&E területén. 1996 és 1998 között a Nemzeti Tudományos Alapítvány (NSF) Számítás- és Információtudományi és Mérnöki Igazgatóságának (CISE) igazgatóhelyettese volt.

1989-ben Hartmanist a National Academy of Engineering tagjává választották a számítási komplexitás elméletéhez, valamint a számítástechnikával kapcsolatos kutatáshoz és oktatáshoz való alapvető hozzájárulásáért. Tagja volt a Számítógépek Szövetségének és az Amerikai Matematikai Társaságnak, valamint tagja a Nemzeti Tudományos Akadémiának . Külföldi tagja volt a Lett Tudományos Akadémiának is, amely 2001-ben Nagyéremmel [ lv ] adományozta neki a számítástechnikában végzett tevékenységéért.

RE Stearns mellett Hartmanis 1993 -ban Turing-díjat kapott egy tanulmányért, amelyben bevezette a TIME(f(n)) időbonyolultsági osztályokat, és bebizonyította az időhierarchia tételt . Hartmanis egy másik, 1977-es tanulmánya Leonard Bermannal bemutatta azt a máig megoldatlan Berman–Hartmanis-sejtést, miszerint minden NP-teljes nyelv polinomiális idejű izomorf.

Hartmanis 2022. július 29-én halt meg. Három gyermeke, Reneta, Martin és Audrey maradt.

Díjak

Válogatott kiadványok

Könyvek
  • Szekvenciális gépek algebrai szerkezetelmélete 1966 ( RE Stearns -szel )
  • Megvalósítható számítások és bizonyítható összetettségi tulajdonságok 1978
  • Számítási komplexitáselmélet (szerk.) 1989
  • Computing the Future: A szélesebb program a számítástechnika és mérnöki számára (szerk.) 1992 (Herbert Linnel)
Válogatott cikkek
  • "Rekurzív sorozatok számítási összetettsége" 1964 ( RE Stearns -szel )
  • "Számítások osztályozása idő- és memóriaigény szerint" 1965 (PM Lewis-szal és RE Stearns -szel )
  • "Memóriakorlátozott számítások hierarchiái" 1965 (PM Lewisszal és RE Stearnsszel )
  • "Az algoritmusok számítási bonyolultságáról" 1965 ( RE Stearns -szel )
  • Memóriahatárok a kontextusmentes és környezetérzékeny nyelvek felismeréséhez 1965 (PM Lewis-szal és RE Stearns -szel )
  • "Az NP és más teljes halmazok izomorfizmusairól és sűrűségéről" 1977 (L. Bermannel)
  • "Megfigyelések az elméleti számítástechnika fejlődéséről" 1981

Interjúk

Juris Hartmanist négyszer kérdezték meg. Közülük kettőhöz érhetők el videók. A legmesszebbmenőt William Aspray készítette.

Hivatkozások

Külső linkek