Перейти до вмісту

Юріс Гартманіс

Матеріал з Вікіпедії — вільної енциклопедії.
Юріс Гартманіс
латис. Juris Varlejs Hartmanis
Народився5 липня 1928(1928-07-05)
Рига, Латвія
Помер29 липня 2022(2022-07-29) (94 роки)
КраїнаСША США
Діяльністьматематик, інформатик, викладач університету, редактор
Alma materКаліфорнійський технологічний інститут,
Марбурзький університет
ГалузьТеоретична інформатика,
теорія складності обчислень
ЗакладGeneral Electric,
Корнелльський університет
Посадазавідувач кафедри[d][2][3] і завідувач кафедри[d][2][3]
Науковий керівникангл. Robert P. Dilworth[1]
Аспіранти, докторантиNeil Immermand
Allan Borodind
Clement Leo McGowan, IIId[4]
Janos Simond[4]
Dexter Kozend[4]
Erik Meineche Schmidtd[4]
Ming Lid[4]
Edward Reingoldd[4]
Richard Changd[4]
Pankaj Rohatgid[4]
Lane A. Hemaspaandrad[4]
Theodore Paul Bakerd[4]
Forbes Downer Lewisd[4]
Jin-Yi Caid[4]
Desh Ranjand[4]
Stephen Ross Mahaneyd[4]
Leonard Charles Bermand[4]
James Andrew Kadind[4]
Luc Longpréd[4]
Vivian Diane Sewelsond[4]
ЧленствоАмериканське математичне товариство[5][6]
Національна академія наук США[2][7]
Академія наук Латвії[8][3][9]
Американська академія мистецтв і наук[8][3][…]
Національна інженерна академія США[8][10][…]
Association for Computing Machinery[12]
Відомий завдяки:Гіпотеза Бермана–Гартманіса[en],
DTIME[en],
Теорема ієрархії часу[en]
БатькоМартіньш Хартманісd
Брати, сестриАстрід Іваск
НагородиПремія Тюрінга (1993)
Особ. сторінкаengineering.cornell.edu/faculty-directory/juris-hartmanis-0

Юріс Гартманіс (латис. Juris Hartmanis; 5 липня 1928 — 29 липня 2022)[13]  — американський науковець латиського походження, відомий через свої внески в теорію складності обчислень. Лауреат премії Тюрінга 1993 року.[14]

Деякі праці

[ред. | ред. код]

Статті

[ред. | ред. код]
  • Hartmanis, Juris; Stearns, Richard E. (1965). On the computational complexity of algorithms. Transactions of the American Mathematical Society. AMS. 117: 285—306. doi:10.2307/1994208. (англ.)
  • Berman, L.; Hartmanis, J. (1977), On isomorphisms and density of NP and other complete sets, SIAM Journal on Computing, 6 (2): 305—322, doi:10.1137/0206023 (англ.)

Книги

[ред. | ред. код]

Примітки

[ред. | ред. код]

Посилання

[ред. | ред. код]