Juris Hartmanis

Article

August 9, 2022

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, a lett hadsereg egyik tábornoka és Astrid Ivask költő fia volt. 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ó ismét átveszi Lettország uralmát. Először Németországba költöztek, ahol Juris Hartmanis 1944-ben megkapta a mesteri diplomával egyenértékű diplomát. fizikát a Marburgi Egyetemen. Ezután az Egyesült Államokba költözött, ahol 1951-ben a Kansas City-i Egyetemen (ma University of Missouri–Kansas City) szerzett mesterfokozatot alkalmazott matematikából, 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. Miután matematikát tanított a Cornell Egyetemen és az Ohio Állami Egyetemen, Hartmanis 1958-ban csatlakozott a General Electric Research Laboratoryhoz. A General Electricnél a számítási komplexitás elméletének számos elvét dolgozta ki. 1965-ben a Cornell Egyetem professzora lett. Ő volt az egyik alapítója és első elnöke a számítástechnikai tanszéknek (amely a világ egyik első számítástechnikai tanszéke volt). Hartmanis számos módon hozzájárult a számítástechnika és mérnöki tudomány (CS&E) előmozdítására irányuló nemzeti erőfeszítésekhez. A legjelentősebb, hogy ő vezette a Nemzeti Kutatási Tanács azon 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 fejlesztése 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érmet adományozott neki az informatikához való hozzájárulásáért.R.E. Stearns, Hartmanis 1993-ban Turing-díjat kapott egy tanulmányért, amelyben bevezették a TIME(f(n)) időbonyolultsági osztályokat, és bebizonyították az időhierarchia tételt. Hartmanis egy másik, 1977-es tanulmánya Leonard Bermannal bemutatta azt a még megoldatlan Berman–Hartmanis-sejtést, amely szerint az összes NP-teljes nyelv polinomiális idejű izomorf. Hartmanis 2022. július 29-én halt meg.

Díjak

Az American Association for the Advancement of Science (AAAS) munkatársa, 1981 A Nemzeti Mérnöki Akadémia tagja, 1989 Tag (külföldi): Lett Tudományos Akadémia, 1990 Az Amerikai Művészeti és Tudományos Akadémia tagja, 1992 ACM Turing-díj 1993 Humboldt Alapítvány Kutatási Díja, 1993 Charter Fellow, ACM, 1994 A Humán Levél díszdoktora, 1999 A Computing Research Association (CRA) kitüntetett szolgáltatási díja, 2000 A Lett Tudományos Akadémia nagyérem, 2001 ACM Distinguished Service Award, 2013 Az Amerikai Matematikai Társaság beiktató tagja, 2013 A Nemzeti Tudományos Akadémia tagja, 2013

Válogatott kiadványok

Könyvek Válogatott cikkek

Interjúk

Juris Hartmanist négyszer kérdezték meg. A videók a