Juris Hartmanis - Juris Hartmanis
 | Tento životopis živé osoby potřebuje další citace pro ověření. (Leden 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Juris Hartmanis | |
|---|---|
 | |
| narozený | 5. července 1928 |
| Alma mater | |
| Ocenění | Turing Award (1993) |
| Vědecká kariéra | |
| Pole | Počítačová věda |
| Instituce | |
| Doktorandi | Allan Borodin Dexter Kozen |
Juris Hartmanis (narozen 5. července 1928) je prominentní počítačový vědec a výpočetní teoretik kdo s Richard E. Stearns, obdržel 1993 ACM Turing Award "jako uznání jejich seminární práce, která vytvořila základy pro obor teorie výpočetní složitosti ".
Hartmanis se narodil v Lotyšsko. Byl synem Mārtiņš Hartmanis,[1] generál v lotyšské armádě a bratr básníka Astrid Ivask. Po Sovětském svazu okupovalo Lotyšsko v roce 1940, Mārtiņš Hartmanis byl zatčen Sověty a zemřel ve vězení. Na konci druhá světová válka, manželka a děti Mārtiņše Hartmanise opustily Lotyšsko jako uprchlíci v obavě o svou bezpečnost, kdyby Lotyšsko znovu převzal Sovětský svaz.
Nejprve se přestěhovali do Německo, kde Juris Hartmanis získal ekvivalent magisterského titulu z fyziky od University of Marburg. Poté přešel k Spojené státy, kde na univerzitě získal magisterský titul z aplikované matematiky University of Kansas City (nyní známý jako University of Missouri-Kansas City ) v roce 1951 a Ph.D. v matematice od Caltech pod dohledem Robert P. Dilworth v roce 1955. University of Missouri-Kansas City poctil jej čestným doktorem humánních dopisů v květnu 1999.
Po výuce na Cornell University a Ohio State University, Hartmanis se připojil k General Electric Research Laboratory v roce 1958. Během studia v General Electric vyvinul mnoho principů teorie výpočetní složitosti. V roce 1965 se stal profesorem na Cornell University. V Cornellu byl jedním ze zakladatelů a jejím prvním předsedou počítačová věda katedra (která byla jedním z prvních kateder informatiky na světě). Hartmanis je a Chlapík z Sdružení pro výpočetní techniku a Americká matematická společnost[2] a člen National Academy of Engineering a Národní akademie věd.[3]
On je nejlépe známý pro jeho Turing-oceněný papír s Richardem Stearnsem, ve kterém se představil časová složitost třídy ČAS (f (n)) a prokázal věta o časové hierarchii. Další článek Hartmanise z roku 1977 s Leonardem Bermanem představil dosud nevyřešený Berman – Hartmanisova domněnka že všechny NP-úplné jazyky jsou polynomiální čas izomorfní.
Vybrané publikace
- Berman, L .; Hartmanis, J. (1977), „Na izomorfismy a hustotu NP a dalších úplných sad“ (PDF), SIAM Journal on Computing, 6 (2): 305–322, doi:10.1137/0206023, hdl:1813/7101, PAN 0455536.
- Hartmanis, J .; Stearns, R. E. (1965), „O výpočetní složitosti algoritmů“, Transakce Americké matematické společnosti, 117: 285–306, doi:10.2307/1994208, JSTOR 1994208, PAN 0170805.
Reference
- ^ V baltských jazycích nejsou vlastní jména lexikální konstanty, ale mají různé gramatické tvary. Hartmanis je třeba chápat jako Hartman-is, čímž Hartman je kmen původního jména, zatímco přípona -je označuje mužský gramatický tvar v lotyšském jazyce. Podobným způsobem je například filozof Kant znám jako Kanttak jako v litevském jazyce.
- ^ Seznam členů Americké matematické společnosti, vyvoláno 2013-01-19.
- ^ Zvolen člen Národní akademie věd a zahraniční spolupracovníci Archivováno 2013-05-27 na Wayback Machine, Národní akademie věd, 30. dubna 2013.
