Hartmanis, Juris

Juris Hartmanis
letonă. Juris Hartmanis
Data nașterii 5 iulie 1928( 05.07.1928 ) [1] [2]
Locul nașterii Riga , Letonia
Data mortii 29 iulie 2022( 29.07.2022 ) [3] (94 de ani)
Țară
Sfera științifică Informatica
Loc de munca General Electric ,
Universitatea Cornell
Alma Mater Universitatea din Marburg , Universitatea din Missouri–Kansas City , Caltech
consilier științific Robert Dilworth
Cunoscut ca DTIME
Premii și premii Premiul Turing ,
Marea Medalie a Academiei de Științe din Letonia .
Site-ul web engineering.cornell.edu/… ​(  engleză)
 Fișiere media la Wikimedia Commons

Juris Hartmanis ( letonă. Juris Hartmanis ; 5 iulie 1928 [1] [2] , Riga [1] [2] - 29 iulie 2022 [3] ) - om de știință în domeniul teoriei sistemelor informatice, a fost premiat în 1993 Premiul Turing pentru realizările cercetării în teoria complexității computaționale .

Membru al Academiei Naționale de Inginerie din SUA (1989) [4] , Academiei Naționale de Științe din SUA (2013) [5] .

Biografie

Juris Hartmanis sa născut în familia generalului armatei letone Mārtiņš Hartmanis . În 1940 , tatăl său a fost arestat și a murit în închisoare. La sfârșitul celui de-al Doilea Război Mondial, văduva lui Mārtiņš Hartmanis a fugit în străinătate împreună cu copiii săi, temându-se de persecuția guvernului sovietic . Familia sa stabilit în Germania , unde Juris Hartmanis a absolvit Facultatea de Fizică la Universitatea din Marburg . Apoi s-a mutat în SUA și a primit un Master of Science în Matematică Aplicată de la Universitatea din Kansas ( 1951 ) și un doctorat în Matematică la Institutul de Tehnologie din California sub conducerea lui Robert Palmer Dilworth ( 1955 ) . 

Hartmanis a predat la Universitatea de Stat din Ohio și, de asemenea, la Universitatea Cornell, până când sa alăturat Laboratorului de Cercetare General Electric în 1958 . În 1965, s-a întors la Universitatea Cornell , unde a devenit profesor , membru fondator și primul decan al departamentului de informatică (una dintre cele mai vechi departamente de informatică din lume).

Juris Hartmanis a fost membru al Asociației pentru Mașini de Calcul . Împreună cu Richard Stearns , a primit Premiul Turing pentru lucrarea sa „On the computational complexity of algorithms”, [6] în care au fost prezentate multe clase de complexitate DTIME și a fost demonstrată teorema ierarhiei timpului . [7]

Premii

Note

  1. 1 2 3 https://www.computerhope.com/people/juris_hartmanis.htm
  2. 1 2 3 https://amturing.acm.org/award_winners/hartmanis_1059260.cfm
  3. 12 Juris Hartmanis
  4. Dr.  Juris Hartmanis
  5. ^ Hartmanis , Juris pe site-ul Academiei Naționale de Științe din SUA  
  6. 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/1994208 
  7. http://www.euler-foundation.org/wp-content/uploads/2008/05/itsykson.pdf
  8. ACM Award Citation / Juris Hartmanis  (link nu este disponibil)

Link -uri