Juris Hartmanis -Juris Hartmanis

z Wikipedie, otevřené encyklopedie

Juris Hartmanis
Juris Hartmanis(2002).jpg
narozený ( 1928-07-05 )5. července 1928
Riga, Lotyšsko
Zemřel 29. července 2022 (2022-07-29)(94 let)
Alma mater
Ocenění Turingova cena (1993)
Vědecká kariéra
Pole Počítačová věda
Instituce
Doktorský poradce Robert P. Dilworth
Doktorandi Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5. července 1928 – 29. července 2022) byl americký počítačový vědec a počítačový teoretik lotyšského původu, který spolu s Richardem E. Stearnsem obdržel v roce 1993 cenu ACM Turing Award „jako uznání za jejich klíčovou práci, která položila základy obor teorie výpočetní složitosti “.

Život a kariéra

Hartmanis se narodil v Lotyšsku 5. července 1928. Byl synem Mārtiņše Hartmanise [ lv ], generála lotyšské armády, a bratrem básnířky Astrid Ivask . Poté, co Sovětský svaz obsadil Lotyšsko v roce 1940, Mārtiņš Hartmanis byl zatčen Sověty a zemřel ve vězení. Později ve druhé světové válce manželka a děti Mārtiņše Hartmanise opustily Lotyšsko v roce 1944 jako uprchlíci ve strachu o svou bezpečnost, pokud by Sovětský svaz znovu převzal Lotyšsko.

Nejprve se přestěhovali do Německa, kde Juris Hartmanis získal ekvivalent magisterského titulu ve fyzice na univerzitě v Marburgu . Poté se přestěhoval do Spojených států amerických, kde v roce 1951 získal magisterský titul v aplikované matematice na University of Kansas City (nyní známá jako University of Missouri–Kansas City ) a v roce 1955 získal titul Ph.D. v matematice z Caltechu pod vedením Roberta P. Dilwortha . University of Missouri–Kansas City mu v květnu 1999 udělila čestný doktorát humánních dopisů. Po vyučování matematiky na Cornell University a Ohio State University se Hartmanis v roce 1958 připojil k výzkumné laboratoři General Electric . Během působení v General Electric vyvinul mnoho principů teorie výpočetní složitosti. V roce 1965 se stal profesorem na Cornell University. Byl jedním ze zakladatelů a prvním vedoucím katedry informatiky (která byla jednou z prvních kateder informatiky na světě).

Hartmanis přispěl k národnímu úsilí o pokrok v počítačové vědě a inženýrství (CS&E) mnoha způsoby. Nejvýznamněji předsedal studii National Research Council, jejímž výsledkem byla v roce 1992 publikace Computing the Future – A Broad Agenda for Computer Science and Engineering, která na základě svých priorit vydala doporučení k udržení hlavního úsilí v CS&E, k rozšíření oboru a zlepšit vysokoškolské vzdělání v CS&E. V letech 1996 až 1998 byl asistentem ředitele ředitelství počítačové a informační vědy a inženýrství (CISE) Národní vědecké nadace (NSF) .

V roce 1989 byl Hartmanis zvolen členem Národní akademie inženýrství za zásadní příspěvky k teorii výpočetní složitosti a k ​​výzkumu a vzdělávání v oblasti výpočetní techniky. Byl členem Asociace pro výpočetní stroje a Americké matematické společnosti, také členem Národní akademie věd . Byl také zahraničním členem Lotyšské akademie věd, která mu v roce 2001 udělila Velkou medaili [ lv ] za jeho zásluhy o informatiku.

Spolu s RE Stearnsem obdržel Hartmanis v roce 1993 Turingovu cenu za práci, ve které představili třídy časové složitosti TIME(f(n)) a dokázali teorém časové hierarchie . Další Hartmanisova práce z roku 1977 s Leonardem Bermanem představila dosud nevyřešenou Berman-Hartmanisovu domněnku, že všechny NP-úplné jazykyou izomorfní v polynomiálním čase.

Hartmanis zemřel 29. července 2022. Zůstaly po něm jeho tři děti Reneta, Martin a Audrey.

Ocenění

Vybrané publikace

knihy
  • Teorie algebraické struktury sekvenčních strojů 1966 (s RE Stearnsem )
  • Proveditelné výpočty a prokazatelné vlastnosti složitosti 1978
  • Computational Complexity Theory (ed.) 1989
  • Computing the Future: A širší agenda pro informatiku a inženýrství (ed.) 1992 (s Herbertem Linem)
Vybrané články
  • "Výpočetní složitost rekurzivních sekvencí" 1964 (s RE Stearns )
  • „Klasifikace výpočtů podle požadavků na čas a paměť“ 1965 (s PM Lewis a RE Stearns )
  • "Hierarchie paměťově omezených výpočtů" 1965 (s PM Lewis a RE Stearns )
  • „O výpočetní složitosti algoritmů“ 1965 (s RE Stearns )
  • Hranice paměti pro rozpoznávání bezkontextových a kontextově citlivých jazyků 1965 (s PM Lewisem a RE Stearnsem )
  • „O izomorfismech a hustotě NP a dalších úplných množinách“ 1977 (s L. Bermanem)
  • "Pozorování o vývoji teoretické informatiky" 1981

Rozhovory

Juris Hartmanis byl dotazován čtyřikrát. Ke dvěma z nichou k dispozici videa. Ten nejrozsáhlejší je od Williama Aspraye.

  • William Aspray dělá rozhovory s Hartmanisem pro rozhovory ACM Oral History, 2009
  • David Gries dělá rozhovor s Hartmanisem pro kolekci Cornell ecommons, 2010
  • Len Shustek zpovídá Hartmanise v článku v CACM, 2015
  • David Gries dělá rozhovor s Hartmanisem jako držitelem ACM Turing Award za rok 2018

Reference

externí odkazy