Juris Hartmanis | |
---|---|
Lett. Juris Hartmanis | |
Születési dátum | 1928. július 5. [1] [2] |
Születési hely | Riga , Lettország |
Halál dátuma | 2022. július 29. [3] (94 évesen) |
Ország | |
Tudományos szféra | Informatika |
Munkavégzés helye |
General Electric , Cornell Egyetem |
alma Mater | Marburgi Egyetem , Missouri Egyetem – Kansas City , Caltech |
tudományos tanácsadója | Robert Dilworth |
Ismert, mint | DTIME |
Díjak és díjak |
Turing - díj , a Lett Tudományos Akadémia nagyérem . |
Weboldal | engineering.cornell.edu/… ( angol) |
Médiafájlok a Wikimedia Commons oldalon |
Juris Hartmanis ( lett Juris Hartmanis ; 1928. július 5. [1] [2] , Riga [1] [2] – 2022. július 29. [3] ) - a számítógépes rendszerelmélet tudósa, 1993 -ban díjazták. a Turing - díjat a számítási komplexitás elméletének kutatásában elért eredményekért .
Az US National Academy of Engineering tagja (1989) [4] , az US National Academy of Sciences (2013) [5] .
Juris Hartmanis a lett hadsereg tábornokának , Mārtiņš Hartmanisnak a családjában született . 1940- ben apját letartóztatták, és a börtönben halt meg. A második világháború végén Mārtiņš Hartmanis özvegye gyermekeivel külföldre menekült, tartva a szovjet kormány üldöztetésétől. A család Németországban telepedett le , ahol Juris Hartmanis a Marburgi Egyetemen szerzett fizikát . Ezután az Egyesült Államokba költözött, és a Kansasi Egyetemen szerzett mesterképzést alkalmazott matematikából ( 1951 ), majd a Kaliforniai Műszaki Egyetemen , Robert Palmer Dilworth vezetésével ( 1955 ) szerzett PhD fokozatot matematikából .
Hartmanis az Ohio Állami Egyetemen és a Cornell Egyetemen tanított, amíg 1958 -ban be nem lépett a General Electric Research Laboratory - ba . 1965- ben visszatért a Cornell Egyetemre , ahol a számítástechnikai tanszék (a világ egyik legrégebbi számítástechnikai tanszéke) professzora , alapító tagja és első dékánja lett.
Juris Hartmanis a Számítógépek Szövetségének tagja volt . Richard Stearns - szel együtt Turing-díjat kapott az "Algoritmusok számítási összetettségéről" című munkájáért [6] , amelyben számos DTIME komplexitási osztályt mutattak be, és bebizonyították az időhierarchia tételét . [7]
![]() | ||||
---|---|---|---|---|
Tematikus oldalak | ||||
Szótárak és enciklopédiák | ||||
|
Turing- díjasok | |
---|---|
|
A Lett Tudományos Akadémia Nagyéremének kitüntetettjei | |
---|---|
|