Хартманис, Юрис

Юрис Хартманис
латыш. Juris Hartmanis
Дата рождения	5 июля 1928(1928-07-05)[1][2]
Место рождения	Рига, Латвия
Дата смерти	29 июля 2022(2022-07-29)[3] (94 года)
Страна	Латвия  США
Род деятельности	математик, специалист в области информатики, преподаватель университета, редактор
Научная сфера	информатика
Место работы	General Electric, Корнеллский университет
Альма-матер	Марбургский университет, University of Missouri–Kansas City, Калифорнийский технологический институт
Научный руководитель	Роберт Дилворт
Известен как	DTIME
Награды и премии	Премия Тьюринга
Сайт	engineering.cornell.edu/… (англ.)
Медиафайлы на Викискладе

Ю́рис Ха́ртманис (латыш. Juris Hartmanis; 5 июля 1928^[1][2], Рига^[1][2] — 29 июля 2022^[3]) — учёный в области теории вычислительных систем, награждён в 1993 году премией Тьюринга за достижения в исследовании теории сложности вычислений.

Член Национальной инженерной академии США (1989)^[4], Национальной академии наук США (2013)^[5].

Биография

Юрис Хартманис родился в семье генерала латвийской армии Мартиньша Хартманиса. В 1940 году его отца арестовали и он умер в тюрьме. В конце Второй мировой войны вдова Мартиньша Хартманиса бежала с детьми за границу, боясь преследования со стороны Советского правительства. Семья поселилась в Германии, где Юрис Хартманис получил диплом по физике в Марбургском университете. Затем он переехал в США и получил в Канзасском университете титул мастера наук по прикладной математике (1951), и доктора философии по математике в Калифорнийском технологическом институте под руководством Роберта Дилворта (англ. Robert Palmer Dilworth) (1955).

Хартманис преподавал в Университете штата Огайо, а также в Корнеллском университете, пока не устроился в исследовательскую лабораторию General Electric в 1958 году. В 1965 году он вернулся в Корнеллский университет, где стал профессором, одним из основателей и первым деканом факультета информатики (один из старейших факультетов информатики в мире).

Юрис Хартманис состоял в Ассоциации вычислительной техники. Вместе с Ричардом Стирнсом был награждён премией Тьюринга за труд «On the computational complexity of algorithms»,^[6] в котором было представлено множество классов сложности DTIME и доказана теорема об иерархии по времени.^[7]

Награды

• 1993 — Премия Тьюринга вместе с Ричардом Стирнсом «в дань их основополагающим работам, обеспечившим базу теории сложности вычислений»^[8]
• 1999 — почётный докторский титул от Канзасского университета (англ. Honorary Doctor of Humane Letters)

Примечания

1. https://www.computerhope.com/people/juris_hartmanis.htm
2. https://amturing.acm.org/award_winners/hartmanis_1059260.cfm
3. Juris Hartmanis
4. Dr. Juris Hartmanis Архивная копия от 8 декабря 2019 на Wayback Machine (англ.)
5. Хартманис, Юрис на сайте Национальной академии наук США  (англ.)
6. Hartmanis, J.; Stearns, R. E. (1965), "On the computational complexity of algorithms", Transactions of the American Mathematical Society, 117: 285—306, doi:10.2307/1994208, MR 0170805
7. Источник  (неопр.). Дата обращения: 29 января 2009. Архивировано из оригинала 4 марта 2016 года.
8. ACM Award Citation / Juris Hartmanis (недоступная ссылка)

Ссылки

• Биография на сайте Корнеллского университета (англ.)