Юрис Хартманис - Juris Hartmanis
 | Этот биография живого человека требует дополнительных цитаты за проверка. (Январь 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
Юрис Хартманис | |
|---|---|
 | |
| Родившийся | 5 июля 1928 г. |
| Альма-матер | |
| Награды | Премия Тьюринга (1993) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | |
| Докторанты | Аллан Бородин Декстер Козен |
Юрис Хартманис (родился 5 июля 1928 г.) специалист в области информатики и теоретик вычислений кто с Ричард Э. Стернс, получил 1993 ACM Премия Тьюринга "в знак признания их основополагающей работы, заложившей основы для теория сложности вычислений ".
Хартманис родился в Латвия. Он был сыном Мартиньш Хартманис,[1] генерал Латвийской армии и брат поэта Астрид Иваск. После Советского Союза оккупировал Латвию в 1940 г., Мартиньш Хартманис был арестован советскими властями и умер в тюрьме. В конце Вторая Мировая Война, жена и дети Мартиньша Хартманиса покинули Латвию в качестве беженцев, опасаясь за свою безопасность, если Советский Союз снова захватит Латвию.
Они сначала переехали в Германия, где Юрис Хартманис получил степень магистра физики Марбургский университет. Затем он переехал в Соединенные Штаты, где получил степень магистра прикладной математики в Университет Канзас-Сити (теперь известный как Университет Миссури-Канзас-Сити ) в 1951 г. и Кандидат наук. по математике из Калтех под присмотром Роберт П. Дилворт в 1955 году. Университет Миссури-Канзас-Сити удостоил его звания Почетного доктора гуманитарных наук в мае 1999 года.
После обучения в Корнелл Университет и Государственный университет Огайо, Хартманис присоединился к General Electric Исследовательская лаборатория в 1958 году. Работая в General Electric, он разработал многие принципы теории сложности вычислений. В 1965 году он стал профессором в Корнелл Университет. В Корнелле он был одним из основателей и первым председателем Информатика факультет (который был одним из первых факультетов информатики в мире). Хартманис - это Парень из Ассоциация вычислительной техники и из Американское математическое общество[2] и член Национальная инженерная академия и Национальная Академия Наук.[3]
Он наиболее известен своей отмеченной премией Тьюринга работой с Ричардом Стернсом, в которой он представил временная сложность классы ВРЕМЯ (f (n)) и доказал теорема об иерархии времени. В другой статье Хартманиса 1977 года с Леонардом Берманом была представлена до сих пор нерешенная Гипотеза Бермана – Хартманиса что все NP-полные языки полиномиально изоморфны по времени.
Избранные публикации
- Берман, Л .; Хартманис, Дж. (1977), «Об изоморфизмах и плотности NP и других комплектов» (PDF), SIAM Журнал по вычислениям, 6 (2): 305–322, Дои:10.1137/0206023, HDL:1813/7101, МИСТЕР 0455536.
- Hartmanis, J .; Стернс, Р. Э. (1965), «О вычислительной сложности алгоритмов», Труды Американского математического общества, 117: 285–306, Дои:10.2307/1994208, JSTOR 1994208, МИСТЕР 0170805.
Рекомендации
- ^ В балтийских языках собственные имена не являются лексическими константами, но имеют разные грамматические формы. Хартманис следует понимать как Хартман-есть, посредством чего Хартман является основой собственного имени, а суффикс -является указывает на грамматическую форму мужского рода в латышском языке. Подобным образом, например, философ Кант известен как Кант.в качестве на литовском языке.
- ^ Список членов Американского математического общества, получено 19 января 2013.
- ^ Избраны члены Национальной академии наук и зарубежные сотрудники В архиве 2013-05-27 в Wayback Machine, Национальная Академия Наук, 30 апреля 2013 г.
