Hartmanis, Juris
| Juris Hartmanis | |
|---|---|
| Latvialainen. Juris Hartmanis | |
| Syntymäaika | 5. heinäkuuta 1928 [1] [2] |
| Syntymäpaikka | Riika , Latvia |
| Kuolinpäivämäärä | 29. heinäkuuta 2022 [3] (94-vuotias) |
| Maa | |
| Tieteellinen ala | Informatiikka |
| Työpaikka |
General Electric , Cornellin yliopisto |
| Alma mater | Marburgin yliopisto , Missourin yliopisto – Kansas City , Caltech |
| tieteellinen neuvonantaja | Robert Dilworth |
| Tunnetaan | DTIME |
| Palkinnot ja palkinnot |
Turing - palkinto , Latvian tiedeakatemian suuri mitali . |
| Verkkosivusto | engineering.cornell.edu/… ( englanti) |
| Mediatiedostot Wikimedia Commonsissa | |
Juris Hartmanis ( latvia. Juris Hartmanis ; 5. heinäkuuta 1928 [1] [2] , Riika [1] [2] - 29. heinäkuuta 2022 [3] ) - tiedemies tietokonejärjestelmäteorian alalla, palkittiin vuonna 1993 Turing - palkinto laskennallisen monimutkaisuuden teorian tutkimuksen saavutuksista .
US National Academy of Engineering -akatemian jäsen ( 1989) [4] , US National Academy of Sciences (2013) [5] .
Elämäkerta
Juris Hartmanis syntyi Latvian armeijan kenraali Mārtiņš Hartmanisin perheeseen . Vuonna 1940 hänen isänsä pidätettiin ja kuoli vankilassa. Toisen maailmansodan lopussa Mārtiņš Hartmanisin leski pakeni lastensa kanssa ulkomaille peläten Neuvostoliiton vainon . Perhe asettui Saksaan , missä Juris Hartmanis valmistui fysiikan alalta Marburgin yliopistosta . Tämän jälkeen hän muutti Yhdysvaltoihin ja sai sovelletun matematiikan maisterin tutkinnon Kansasin yliopistosta ( 1951 ) ja matematiikan tohtorin tutkinnon Kalifornian teknillisestä korkeakoulusta Robert Palmer Dilworthin johdolla ( 1955 ) .
Hartmanis opetti Ohion osavaltion yliopistossa ja myös Cornellin yliopistossa , kunnes hän liittyi General Electric - tutkimuslaboratorioon vuonna 1958 . Vuonna 1965 hän palasi Cornellin yliopistoon , jossa hänestä tuli tietojenkäsittelytieteen osaston (yksi maailman vanhimmista tietojenkäsittelytieteen osastoista) professori , perustajajäsen ja ensimmäinen dekaani .
Juris Hartmanis oli Computing Machinery ry: n jäsen . Yhdessä Richard Stearnsin kanssa hänelle myönnettiin Turing-palkinto työstään "On the computational complexity of Algorithms", [6] jossa esiteltiin monia DTIME - monimutkaisuusluokkia ja todistettiin aikahierarkialause . [7]
Palkinnot
- 1993 - Turing-palkinto Richard Stearnsin kanssa "kunnianosoituksena heidän merkittävälle työlleen, joka loi perustan laskennallisen monimutkaisuuden teorialle " [8]
- 1999 - Kansasin yliopiston kunniatohtori ( eng. Honorary Doctor of Humane Letters )
Muistiinpanot
- ↑ 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 Yhdysvaltain kansallisen tiedeakatemian verkkosivuilla
- ↑ Hartmanis, J. & Stearns, RE (1965), Algoritmien laskennallisesta monimutkaisuudesta , Transactions of the American Mathematical Society , osa 117: 285–306, MR 0170805 , DOI 10.2307/1994208
- ↑ http://www.euler-foundation.org/wp-content/uploads/2008/05/itsykson.pdf
- ↑ ACM Award Citation / Juris Hartmanis (linkki ei saatavilla)
Linkit
- Elämäkerta Cornellin yliopiston verkkosivuilla
 Sosiaalisissa verkostoissa | ||||
|---|---|---|---|---|
| Temaattiset sivustot | ||||
| Sanakirjat ja tietosanakirjat | ||||
| ||||
| Turing-palkinnon voittajat | |
|---|---|
| |
| Latvian tiedeakatemian suuren mitalin palkitut | |
|---|---|
| |