Про знаменитості
Юріс Хартманіс: біографія
-
вчений у галузі теорії обчислювальних систем, нагороджений у 1993 році премією Тюрінга за досягнення в дослідженні теорії складності обчислень
Біографія
Юріс Хартманіс народився в сім'ї генерала Латвійської армії Мартіньш Хартманіса. У 1940 році його батька заарештували і він помер у тюрмі. В кінці Другої світової війни вдова Мартіньш Хартманіса бігла з дітьми за кордон, боячись переслідування з боку Радянського уряду. Сім'я оселилася в Німеччині, де Юріс Хартманіс отримав диплом з фізики в Марбурзькому університеті. Потім він переїхав до США і отримав в Канзаському університеті титул майстра наук з прикладної математики (1951), і доктори філософії з математики в Каліфорнійському технологічному інституті під керівництвом Роберта Ділворта (англ.Robert Palmer Dilworth) (1955) .
Хартманіс викладав в Університеті штату Огайо, а також в Корнельському університеті, поки не влаштувався в дослідну лабораторію General Electric в 1958 році. У 1965 році він повернувся в Корнельський університет, де став професором, одним із засновників і першим деканом факультету інформатики (один із найстаріших факультетів інформатики в світі).
Юріс Хартманіс полягає в Асоціації обчислювальної техніки та Національної академії технологій ( англ.National Academy of Engineering). Разом із Річардом Стернс був нагороджений премією Тюрінга за працю «On the computational complexity of algorithms», в якому було представлено безліч класів складності DTIME і доведена теорема про ієрархію за часом.
Нагороди
- 1999 - почесний докторський титул від Канзаського університету (англ.Honorary Doctor of Humane Letters)
- 1993 - Премія Тьюрінга разом з Річардом Стернс «в данину їх основоположним робіт, який забезпечив базу теорії складності обчислень »