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

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

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

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

Биография

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

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

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

Награды

Примечания
  1. https://www.computerhope.com/people/juris_hartmanis.htm
  2. https://amturing.acm.org/award_winners/hartmanis_1059260.cfm
  3. Dr. Juris Hartmanis  (англ.)
  4. Хартманис, Юрис на сайте Национальной академии наук США  (англ.)
  5. Hartmanis, J. & Stearns, R. E. (1965), On the computational complexity of algorithms, Transactions of the American Mathematical Society Т. 117: 285–306, MR 0170805, DOI 10.2307/1994208
  6. http://www.euler-foundation.org/wp-content/uploads/2008/05/itsykson.pdf
  7. ACM Award Citation / Juris Hartmanis (недоступная ссылка)

Ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.