Юрис Хартманис (на латвийски: Juris Hartmanis) е известен американски информатик теоретик от латвийски произход, който заедно с Ричард Стърнс получава през 1993 година наградата „Тюринг“ като признание за статията им, полагаща основите на теорията на изчислителната сложност.

Юрис Хартманис
Juris Hartmanis
американски информатик от латвийски произход
Хартманис през 2002 г.
Хартманис през 2002 г.

Роден
Починал
29 юли 2022 г. (94 г.)

Учил в Калифорнийски технологичен институт[3][8][9][10][11][12][13]
Марбургски университет[3][8][11]
Миссурийски университет в Канзас-Сити[8][3][10][11][12]
Работил в Университет Корнел (1965)[2][8][3][11]
Дженерал Илектрик (1958 – 1965)[3][8][11]
Охайски държавен университет (1957 – 1958)[3][11]
Университет Корнел (1955 – 1957)[3][11]
Награди Награда Тюринг (1993)[1][2][3]
Доктор хонорис кауза (1995)[4][5]
Доктор хонорис кауза (май 1999)[4][5][6][7]
Братя/сестри Астрид Иваск

Уебсайт www.engineering.cornell.edu/faculty-directory/juris-hartmanis-0
Юрис Хартманис в Общомедия

Хартманис е роден в Латвия в семейството на генерала от латвийската армия Мартинш Хартманис. След като през 1940 година СССР окупира Латвия баща му е арестуван и умира в затвора. В края на Втората световна война, съпругата и децата на Мартинш Хартманис напускат Латвия като бежанци от страх за сигурността си. Първо бягат в Германия, където Юрис Хартманис получава магистърска степен по физика от Марбургския университет. После се мести в САЩ, където през 1951 година получава магистърска степен по приложна математика в Университета на Канзас Сити (днес Университет на Мисури – Канзас Сити). Защитава докторат по математика от Калифорнийския технологичен институт под научното ръководство на Робърт Дилуърт през 1955 година. През май 1999 година Университетът го награждава с титлата „почетен доктор“.

След период на преподавателска дейност в Университета Корнел[14] и Охайския щатски университет, през 1958 година Хартманис постъпва на работа в изследователската лаборатория на General Electric. Докато е там разработва много принципи от областта на теорията на изчислителната сложност. През 1965, става професор в Университета Корнел, където е един от основателите и първи председател на катедрата по компютърни науки (една от първите в света университетски катедри в тази област). Хартманис е пожизнен член на Асоциацията за компютърна техника и на Американското математическо общество[15], както и член на Националната инженерна академия и Националната академия на науките на САЩ.[16]

Той е най-известен със съвместната си статия с Ричард Стърнс, за която получава наградата „Тюринг“, в която въвежда класовете на сложност по време и доказва теоремата за времевата йерархия. Друга статия на Хартманис от 1977 година с Ленард Бърман, въвежда все още нерешената Хипотеза на Бърман-Хартманис че всички NP-пълни езици са изоморфни по полиномиално време.

ИзточнициРедактиране

  1. а б awards.acm.org, Посетен на 20 януари 2022 г..
  2. а б в www.computerhope.com, Посетен на 20 януари 2022 г..
  3. а б в г д е ж з и amturing.acm.org, Посетен на 20 януари 2022 г..
  4. а б в г amturing.acm.org, Посетен на 22 януари 2022 г..
  5. а б в г www.cs.cornell.edu, Посетен на 22 януари 2022 г..
  6. а б d.web.umkc.edu, Посетен на 22 януари 2022 г..
  7. а б www.cs.cornell.edu, Посетен на 22 януари 2022 г..
  8. а б в г д ethw.org, Посетен на 20 януари 2022 г..
  9. www.cs.cornell.edu, Посетен на 20 януари 2022 г..
  10. а б cacm.acm.org, Посетен на 20 януари 2022 г..
  11. а б в г д е ж www.cs.cornell.edu, Посетен на 20 януари 2022 г..
  12. а б d.web.umkc.edu, Посетен на 20 януари 2022 г..
  13. www.cs.cornell.edu, Посетен на 22 януари 2022 г..
  14. Hartmanis biography at Cornell
  15. List of Fellows of the American Mathematical Society, Посетен на 19 януари 2013.
  16. National Academy of Sciences Members and Foreign Associates Elected, National Academy of Sciences, 30 април 2013.
    Тази страница частично или изцяло представлява превод на страницата „Juris Hartmanis“ в Уикипедия на английски. Оригиналният текст, както и този превод, са защитени от Лиценза „Криейтив Комънс – Признание – Споделяне на споделеното“, а за съдържание, създадено преди юни 2009 година – от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница, за да видите списъка на съавторите. ​

ВАЖНО: Този шаблон се отнася единствено до авторските права върху съдържанието на статията. Добавянето му не отменя изискването да се посочват конкретни източници на твърденията, които да бъдат благонадеждни.​