Наши проекты:

Про знаменитості

Юріс Хартманіс: біографія


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

вчений у галузі теорії обчислювальних систем, нагороджений у 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 - Премія Тьюрінга разом з Річардом Стернс «в данину їх основоположним робіт, який забезпечив базу теорії складності обчислень »

Комментарии

Сайт: Википедия