Хартманис, Юрис
| Юрис Хартманис | |
|---|---|
| латыш. Juris Hartmanis | |
.jpg) | |
| Место рождения | Рига, Латвия |
| Научная сфера | информатика |
| Место работы |
General Electric, Корнеллский университет |
| Альма-матер | Марбургский университет, University of Missouri–Kansas City, Калифорнийский технологический институт |
| Научный руководитель | Роберт Дилворт |
| Известен как | DTIME |
| Награды и премии |
Премия Тьюринга, Большая медаль Латвийской академии наук. |
Ю́рис Ха́ртманис (латыш. Juris Hartmanis; 5 июля 1928, Рига — 29 июля 2022) — учёный в области теории вычислительных систем, награждён в 1993 году премией Тьюринга за достижения в исследовании теории сложности вычислений.
Член Национальной инженерной академии США (1989)[1], Национальной академии наук США (2013).
Биография
Юрис Хартманис родился в семье генерала латвийской армии Мартиньша Хартманиса. В 1940 году его отца арестовали и он умер в тюрьме. В конце Второй мировой войны вдова Мартиньша Хартманиса бежала с детьми за границу, боясь преследования со стороны Советского правительства. Семья поселилась в Германии, где Юрис Хартманис получил диплом по физике в Марбургском университете. Затем он переехал в США и получил в Канзасском университете титул мастера наук по прикладной математике (1951), и доктора философии по математике в Калифорнийском технологическом институте под руководством Роберта Дилворта (англ. Robert Palmer Dilworth) (1955).
Хартманис преподавал в Университете штата Огайо, а также в Корнеллском университете, пока не устроился в исследовательскую лабораторию General Electric в 1958 году. В 1965 году он вернулся в Корнеллский университет, где стал профессором, одним из основателей и первым деканом факультета информатики (один из старейших факультетов информатики в мире).
Юрис Хартманис состоял в Ассоциации вычислительной техники. Вместе с Ричардом Стирнсом был награждён премией Тьюринга за труд «On the computational complexity of algorithms»,[2] в котором было представлено множество классов сложности DTIME и доказана теорема об иерархии по времени.[3]
Награды
- 1993 — Премия Тьюринга вместе с Ричардом Стирнсом «в дань их основополагающим работам, обеспечившим базу теории сложности вычислений»[4]
- 1999 — почётный докторский титул от Канзасского университета (англ. Honorary Doctor of Humane Letters)
Примечания
- ↑ Dr. Juris Hartmanis (англ.)
- ↑ 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 (недоступная ссылка)
Ссылки
- Биография на сайте Корнеллского университета (англ.)
| Лауреаты премии Тьюринга | |
|---|---|
| |
- Персоналии по алфавиту
- Родившиеся в Риге
- Учёные по алфавиту
- Лауреаты премии Тьюринга
- Учёные в области информатики США
- Выпускники Миссурийского университета в Канзас-Сити
- Выпускники Канзасского университета
- Выпускники Калифорнийского технологического института
- Преподаватели вузов США
- Иммигрировавшие в США из Латвии
- Члены Национальной инженерной академии США
- Члены Национальной академии наук США
- Латыши в изгнании
- Долгожители Латвии
- Долгожители США
- Преподаватели по алфавиту