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

Фотографія Юріс Хартманис (photo Yuris Hartmanis)

Yuris Hartmanis

  • День народження: 05.07.1928 року
  • Вік: 88 років
  • Громадянство: Латвія

Біографія

Вчений у галузі теорії обчислювальних систем, нагороджений у 1993 році премією Тьюринга за досягнення в дослідженні теорії складності обчислень.

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

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

Юріс Хартманис складається в Асоціації обчислювальної техніки та Національної академії технологій (англ. National Academy of Engineering). Разом з Річардом Стирнсом був нагороджений премією Тьюринга за працю «On the complexity of computational algorithms», у якому було представлено безліч класів складності DTIME і доведена теорема про ієрархію за часом.

Нагороди

1993 — Премія Тюрінга разом з Річардом Стирнсом «в данину їх фундаментальним роботам, які забезпечили базу теорії складності обчислень»

1999 — почесний докторський титул від Канзаського університету (англ. Honorary Doctor of Humane Letters)