Русская Википедия:Хартманис, Юрис

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Другие значения Шаблон:Учёный Ю́рис Ха́ртманис (Шаблон:Lang-lv; Шаблон:ВД-Преамбула) — учёный в области теории вычислительных систем, награждён в 1993 году премией Тьюринга за достижения в исследовании теории сложности вычислений.

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

Биография

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

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

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

Награды

Примечания

Шаблон:Примечания

Ссылки

Шаблон:Нормативный контроль Шаблон:- Шаблон:Премия Тьюринга Шаблон:Лауреаты Большой медали Академии наук Латвии