Juris Hartmanis

Juris Hartmanis (2002)

Juris Hartmanis (narozen 5. července 1928 v Rize , Lotyšsko ) je lotyšský - americký počítačový vědec, který spolu s Richardem E. Stearnsem obdržel v roce 1993 cenu Turing Award za výsledky výzkumu v oblasti teorie složitosti .

Život

Po druhé světové válce Hartmanis poprvé uprchl do Německa . Získal diplom z fyziky na univerzitě v Marburgu a emigroval do Spojených států amerických , kde získal magisterský titul z aplikované matematiky na univerzitě v Missouri-Kansas City . Nakonec v roce 1955 získal titul Ph.D. na Caltech . v matematice s Robertem Dilworthem .

Poté pracoval pro General Electric Research Laboratory, kde zkoumal a učil principy počítačové vědy. V roce 1964 publikoval a Richard E. Stearns, průkopnické pro teorii složitosti a titulní papíru Výpočetní složitost rekurzivních sekvencí (v roce 1965 jako na výpočetní složitost algoritmů publikovány), ve které, mimo jiné dtime a obecné třídy složitosti a časný zrychlení věta zavedena . Spolu s Philem Lewisem představili Stearns a Hartmanis v roce 1965 nejen časovou, ale také prostorovou složitost .

V roce 1965 se stal profesorem na Cornell University . Jedním z Hartmanisových doktorandů je Neil Immerman ( Gödel Prize 1995).

Hartmanis je členem Science rady a řídícího výboru Science of do Santa Fe Institute .

Ocenění

Písma

  • s Richardem E. Stearnsem : O výpočetní složitosti algoritmů. In: Transakce americké matematické společnosti. Svazek 117, 1965, s. 285–306 ( PDF; 2018 kB ).
  • s Richardem E. Stearnsem a Philem M. Lewisem: Hierarchie výpočtů s omezenou pamětí. In: Proceedings of the Sixth Annual IEEE Symposium on Switching Circuit Theory and Logical Design. Ann Arbor (Mich.) 1965, str. 179–190 ( soubor PDF; 388 kB ).

webové odkazy

osobní data
PŘÍJMENÍ Hartmanis, Juris
STRUČNÝ POPIS Lotyšsko-americký počítačový vědec a vítěz Turingovy ceny
DATUM NAROZENÍ 5. července 1928
MÍSTO NAROZENÍ Riga