- Хартманис, Юрис
-
Юрис Хартманис Juris Hartmanis 
Дата рождения: Место рождения: Страна: 
, 
Научная сфера: Место работы: Альма-матер: Марбургский университет, University of Missouri–Kansas City, Калифорнийский технологический институт
Научный руководитель: Роберт Дилворт
Известен как: DTIME
Награды и премии
Премия Тьюринга, Большая медаль Латвийской академии наук.Ю́рис Ха́ртманис (латыш. Juris Hartmanis, 5 июля 1928 года, Рига, Латвия) — учёный в области теории вычислительных систем, награждён в 1993 году премией Тьюринга за достижения в исследовании теории сложности вычислений.
Содержание
Биография
Юрис Хартманис родился в семье генерала Латвийской армии Мартиньша Хартманиса. В 1940 году его отца арестовали и он умер в тюрьме. В конце Второй мировой войны вдова Мартиньша Хартманиса бежала с детьми за границу, боясь преследования со стороны Советского правительства. Семья поселилась в Германии, где Юрис Хартманис получил диплом по физике в Марбургском университете. Затем он переехал в США и получил в Канзасском университете титул мастера наук по прикладной математике (1951), и доктора философии по математике в Калифорнийском технологическом институте под руководством Роберта Дилворта (англ. Robert Palmer Dilworth) (1955).
Хартманис преподавал в Университете штата Огайо, а также в Корнелльском университете, пока не устроился в исследовательскую лабораторию General Electric в 1958 году. В 1965 году он вернулся в Корнелльский университет, где стал профессором, одним из основателей и первым деканом факультета информатики (один из старейших факультетов информатики в мире).
Юрис Хартманис состоит в Ассоциации вычислительной техники и Национальной академии технологий (англ. National Academy of Engineering). Вместе с Ричардом Стирнсом был награждён премией Тьюринга за труд «On the computational complexity of algorithms»,[1] в котором было представлено множество классов сложности DTIME и доказана теорема об иерархии по времени.[2]
Награды
- 1993 — Премия Тьюринга вместе с Ричардом Стирнсом «в дань их основополагающим работам, обеспечившим базу теории сложности вычислений»[3]
- 1999 — почётный докторский титул от Канзасского университета (англ. Honorary Doctor of Humane Letters)
Примечания
- ↑ Hartmanis, J. & Stearns, R. E. (1965), "«On the computational complexity of algorithms»", Transactions of the American Mathematical Society Т. 117: 285–306, MR 0170805, DOI 10.2307/1994208
- ↑ http://www.euler-foundation.org/wp-content/uploads/2008/05/itsykson.pdf
- ↑ ACM Award Citation / Juris Hartmanis
Ссылки
- Биография на сайте Корнелльского университета (англ.)
Лауреаты премии Тьюринга Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011)
Категории:- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 5 июля
- Родившиеся в 1928 году
- Родившиеся в Риге
- Лауреаты премии Тьюринга
- Учёные в области информатики
- Выпускники вузов США
- Преподаватели вузов США
- Иммигрировавшие в США из Латвии
Wikimedia Foundation. 2010.
