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

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

Юріс Гартманіс
латис. Juris Varlejs Hartmanis
Народився	5 липня 1928(1928-07-05) Рига, Латвія
Помер	29 липня 2022(2022-07-29) (94 роки)
Країна	США
Діяльність	математик, інформатик, викладач університету, редактор
Alma mater	Каліфорнійський технологічний інститут, Марбурзький університет
Галузь	Теоретична інформатика, теорія складності обчислень
Заклад	General Electric, Корнелльський університет
Посада	завідувач кафедри[d][1][2] і завідувач кафедри[d][1][2]
Науковий керівник	англ. Robert P. Dilworth[3]
Аспіранти, докторанти	Neil Immermand Allan Borodind Clement Leo McGowan, IIId[4] János 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] Національна академія наук США[1][7] Академія наук Латвії[8][2][9] Американська академія мистецтв і наук[8][2][…] Національна інженерна академія США[8][10][…] Association for Computing Machinery[11]
Відомий завдяки:	Гіпотеза Бермана–Гартманіса[en], DTIME[en], Теорема ієрархії часу[en]
Батько	Мартіньш Хартманісd
Брати, сестри	Астрід Іваск
Нагороди	Премія Тюрінга (1993)
Особ. сторінка	engineering.cornell.edu/faculty-directory/juris-hartmanis-0
Юріс Гартманіс у Вікісховищі

У Вікіпедії є статті про інших людей із прізвищем Гартманіс.

Деякі праці

Статті

• 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 (англ.)

Книги

• Hartmanis, Juris; Stearns, Richard E. (1966). Algebraic structure theory of sequential machines (PDF). Prentice-Hall international series in applied mathematics. Т. 147. Englewood Cliffs, NJ: Prentice-Hall. ISBN 978-0130222770. Архів оригіналу (PDF) за 11 серпня 2016. Процитовано 1 червня 2016. (англ.)