Юрис Хартманис: Разлика между версии

| описание = латвийскиамерикански информатик от латвийски произход

'''Юрис Хартманис''' ({{lang-lv|Juris Hartmanis}}) е известен американски [[Теоретична информатика|информатик теоретик]] от [[латвийци|латвийски]] произход, който заедно с [[Ричард Стърнс]] получава през 1993 година [[Тюринг (награда)|наградата „Тюринг“]] като признание за статията им, полагаща основите на теорията на [[изчислителна сложност|изчислителната сложност]].

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

След период на преподавателска дейност в [[Университет Корнел|Университета Корнел]]<ref>[http://www.cs.cornell.edu/annual_report/00-01/bios.htm#hartmanis Hartmanis biography at Cornell]</ref> и Държавния[[Охайски щатски университет|Охайския нащатски Охайоуниверситет]], през 1958 година Хартманис постъпва на работа в изследователската лаборатория на [[General Electric]]. Докато е там разработва много принципи от областта на теорията на изчислителната сложност. През 1965, става професор в Университета Корнел, където е един от основателите и първи председател на катедрата по [[компютърни науки]] (една от първите в света университетски катедри пов компютърнитази наукиобласт). Хартманис е пожизнен член на Асоциацията за компютърна техника и на [[Американско математическо общество|Американското математическо общество]]<ref>[http://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society], retrieved 2013-01-19.</ref>, както и член на Националната инженерна академия и [[Национална академия на науките на САЩ|Националната академия на науките на САЩ]].<ref>[3http://www.nasonline.org/news-and-multimedia/news/2013_04_30_NAS_Election.html National Academy of Sciences Members and Foreign Associates Elected], [[National Academy of Sciences]], April 30, 2013.</ref>

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