Hartmanis, Juris
| Juris Hartmanis | |
|---|---|
| Lotyšský. Juris Hartmanis | |
| Datum narození | 5. července 1928 [1] [2] |
| Místo narození | Riga , Lotyšsko |
| Datum úmrtí | 29. července 2022 [3] (ve věku 94 let) |
| Země | |
| Vědecká sféra | Informatika |
| Místo výkonu práce |
General Electric , Cornell University |
| Alma mater | University of Marburg , University of Missouri–Kansas City , Caltech |
| vědecký poradce | Robert Dilworth |
| Známý jako | DTIME |
| Ocenění a ceny |
Turingova cena , Velká medaile Lotyšské akademie věd . |
| webová stránka | engineering.cornell.edu/… ( anglicky) |
| Mediální soubory na Wikimedia Commons | |
Juris Hartmanis ( lotyšsky. Juris Hartmanis ; 5. července 1928 [1] [2] , Riga [1] [2] - 29. července 2022 [3] ) - vědec v oboru teorie počítačových systémů, oceněn v roce 1993 Turingovu cenu za úspěchy ve výzkumu teorie výpočetní složitosti .
Člen US National Academy of Engineering (1989) [4] , US National Academy of Sciences (2013) [5] .
Životopis
Juris Hartmanis se narodil do rodiny generála lotyšské armády Mārtiņše Hartmanise . V roce 1940 byl jeho otec zatčen a zemřel ve vězení. Na konci druhé světové války uprchla vdova po Mārtiņši Hartmanisovi se svými dětmi do zahraničí, protože se obávala perzekuce ze strany sovětské vlády. Rodina se usadila v Německu , kde Juris Hartmanis vystudoval fyziku na univerzitě v Marburgu . Poté se přestěhoval do USA a získal titul Master of Science v aplikované matematice na University of Kansas ( 1951 ) a PhD v oboru matematiky na California Institute of Technology pod vedením Roberta Palmera Dilwortha ( 1955 ) .
Hartmanis učil na Ohio State University a také na Cornell University , dokud v roce 1958 nenastoupil do General Electric Research Laboratory . V roce 1965 se vrátil na Cornell University , kde se stal profesorem , zakládajícím členem a prvním děkanem katedry informatiky (jedna z nejstarších kateder informatiky na světě).
Juris Hartmanis byl členem Asociace pro výpočetní techniku . Spolu s Richardem Stearnsem mu byla udělena Turingova cena za práci „O výpočetní složitosti algoritmů“, [6] ve které bylo prezentováno mnoho tříd složitosti DTIME a byla prokázána věta o časové hierarchii . [7]
Ocenění
- 1993 – Turingova cena s Richardem Stearnsem „na poctu jejich klíčové práci, která poskytla základ pro teorii výpočetní složitosti “ [8]
- 1999 - čestný doktorát z University of Kansas ( angl. Honorary Doctor of Humane Letters )
Poznámky
- ↑ 1 2 3 https://www.computerhope.com/people/juris_hartmanis.htm
- ↑ 1 2 3 https://amturing.acm.org/award_winners/hartmanis_1059260.cfm
- ↑ 12 Juris Hartmanis
- ↑ Dr. Juris Hartmanis
- ↑ Hartmanis, Juris na webu Národní akademie věd USA
- ↑ Hartmanis, J. & Stearns, RE (1965), On the computational complexity of algorithms , Transactions of the American Mathematical Society vol. 117: 285–306, MR 0170805 , DOI 10.2307/19942
- ↑ http://www.euler-foundation.org/wp-content/uploads/2008/05/itsykson.pdf
- ↑ Citace ceny ACM / Juris Hartmanis (odkaz není k dispozici)
Odkazy
- Biografie na webových stránkách Cornell University
 V sociálních sítích | ||||
|---|---|---|---|---|
| Tematické stránky | ||||
| Slovníky a encyklopedie | ||||
| ||||
| Vítězové Turingovy ceny | |
|---|---|
| |
| Laureáti Velké medaile Lotyšské akademie věd | |
|---|---|
| |