Юріс Гартманіс
Юріс Гартманіс (латис. Juris Hartmanis; нар.5 липня 1928) — американський науковець латиського походження, відомий через свої внески в теорію складності обчислень. Лауреат премії Тюрінга 1993 року.[10]
| Юріс Гартманіс | |
|---|---|
| латис. Juris Varlejs Hartmanis | |
.jpg.webp) | |
| Народився |
5 липня 1928 (93 роки) Рига, Латвія |
| Країна |
 США |
| Діяльність | математик, інформатик, викладач університету, редактор |
| Alma mater |
Каліфорнійський технологічний інститут, Марбурзький університет |
| Галузь |
Теоретична інформатика, теорія складності обчислень |
| Заклад |
General Electric, Корнелльський університет |
| Посада | завідувач кафедри[1][2] і завідувач кафедри[1][2] |
| Науковий керівник | англ. Robert P. Dilworth[3] |
| Аспіранти, докторанти | 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], Національна академія наук США[1][6], Академія наук Латвії[7][2][8], Американська академія мистецтв і наук[7][2][…], Національна інженерна академія США[7][9][…] і Association for Computing Machinery |
| Відомий завдяки: |
Гіпотеза Бермана–Гартманіса, DTIME, Теорема ієрархії часу |
| Батько | Мартіньш Хартманіс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. Prentice-Hall international series in applied mathematics 147. Englewood Cliffs, NJ: Prentice-Hall. ISBN 978-0130222770. Архів оригіналу за 11 серпня 2016. Процитовано 1 червня 2016. (англ.)
Примітки
- www.nasonline.org
- https://amturing.acm.org/award_winners/hartmanis_1059260.cfm
- Juris Hartmanis. Mathematics Genealogy Project. (англ.)
- Математична генеалогія — 1997.
- http://www.ams.org/cgi-bin/fellows/fellows.cgi#h
- http://d.web.umkc.edu/delawarer/Alumni/Hartmanis.htm
- http://www.cs.cornell.edu/annual_report/00-01/bios.htm#hartmanis
- https://www.cs.cornell.edu/annual_report/Hartmanis.htm
- http://www.cs.cornell.edu/people/hartmanis/
- ACM A.M. Turing Award. Juris Hartmanis, United States — 1993 (англ.)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.