- Юрис Хартманис
-
Юрис Хартманис Juris Hartmanis Дата рождения: Место рождения: Научная сфера: Место работы: Альма-матер: Марбургский университет, University of Missouri–Kansas City, Калифорнийский технологический институт
Известен как: DTIME
Награды и премии Юрис Хартманис (англ. Juris Hartmanis, 5 июля 1928 года, Рига, Латвия) — учёный в области теории вычислительных систем, награждён в 1993 году премией Тьюринга за достижения в исследовании теории сложности вычислений.
Содержание
Биография
Юрис Хартманис родился в семье генерала Латвийской армии Мартиньша Хартманиса. В 1940 году его отца арестовали и он умер в тюрме. В конце Второй мировой войны вдова Мартиньша Хартманиса бежала с детьми за границу, боясь преследования со стороны Советского правительства. Семья поселилась в Германии, где Юрис Хартманис получил диплом по физике в Марбургском университете. Затем он переехал в США и получил в Канзасском университете титул мастера наук по прикладной математике (1951), и доктора философии по математике в Калифорнийском технологическом институте под руководством Роберта Дилворта (англ. Robert Palmer Dilworth) (1955).
Хартманис преподавал в Университете штата Огайо, а также в Корнелльском университете, пока не устроился в исследовательскую лабораторию General Electric в 1958 году. В 1965 году он вернулся в Корнелльский университет, где стал профессором, одним из основателей и первым деканом факультета информатики (один из старейших факультетов информатики в мире).
Юрис Хартманис состоит в Ассоциации вычислительной техники и Национальной академии технологий (англ. National Academy of Engineering). Вместе с Ричардом Стирнсом был награждён премией Тьюринга за труд «On the computational complexity of algorithms»,[1] в котором было представлено множество классов сложности DTIME и доказана теорема об иерархии по времени.[2]
Награды
- 1993 — Премия Тьюринга вместе с Ричардом Стирнсом «в дань их основополагающим работам, обеспечившим базу теории сложности вычислений»[3]
- 1999 — почётный докторский титул от Канзасского университета (англ. Honorary Doctor of Humane Letters)
Примечания
- ↑ 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
- ↑ http://www.euler-foundation.org/wp-content/uploads/2008/05/itsykson.pdf
- ↑ http://awards.acm.org/citation.cfm?id=1059260&srt=alpha&alpha=H&aw=140&ao=AMTURING
Ссылки
- Биография на сайте Корнелльского университета (англ.)
Wikimedia Foundation. 2010.