Юріс Гартманіс |
---|
латис. 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]
Деякі праці
Статті
Книги
Примітки
Посилання
|
---|
1960-ті | |
---|
1970-ті | |
---|
1980-ті | |
---|
1990-ті | |
---|
2000-ні | |
---|
2010-ті | |
---|
2020-ті | |
---|