Юрис Хартманис: Разлика между версии
Изтрито е съдържание Добавено е съдържание
{{редактирам}} -- по грешка натиснах бутона за публикуване ;) |
малко превод, още {{редактирам}} |
||
Ред 1:
{{редактирам}}
{{Биография инфо
| име = Юрис Хартманис
| портрет = Juris_Hartmanis(2002).jpg
| портрет-описание = Хартманис през 2002 година
| px = 250
| описание = латвийски информатик
| роден-дата = [[5 юли]] [[1928]]
| роден-място = [[Рига]], [[Латвия]]
}}
'''Юрис Хартманис''' ({{lang-lv|Juris Hartmanis}}) е известен американски [[Теоретична информатика|информатик теоретик]] от [[латвийци|латвийски]] произход, който заедно с [[Ричард Стърнс]] получава през 1993 година наградата „Тюринг“ като признание за статията им, полагаща основите на теорията на [[изчислителна сложност|изчислителната сложност]].
Хартманис е роден в Латвия в семейството на генерала от латвийската армия Мартинш Хартманис. След като през 1940 година СССР окупира Латвия баща му е арестуван и умира в затвора. В края на Втората световна война, съпругата и децата на Мартинш Хартманис напускат Латвия като бежанци от страх за сигурността си. Първо бягат в Германия, където Юрис Хартманис получава магистърска степен по физира от Университета в Марбург. После се мести в САЩ, където през 1951 година получава магистърска степен по приложна математика в Университета на Канзас Сити (днес Университет на Мисури - Канзас Сити). Защитава докторат по математика от Калифорнийския технически университет под научното ръководство на Робърт Дилуърт през 1955 година. През май 1999 година Университетът го награждава с титлата „почетен доктор“.
След период на преподавателска дейност в Университета Корнел и Държавния университет на Охайо, през 1958 година Хартманис постъпва на работа в изследователската лаборатория на General Electric. Докато е там разработва много принципи от областта на теорията на изчислителната сложност. През 1965, става професор в Университета Корнел, където е един от основателите и първи председател на катедрата по компютърни науки (една от първите в света катедри по компютърни науки). Хартманис е пожизнен член на Асоциацията за компютърна техника и на Американското математическо общество, както и член на Националната инженерна академия и Националната академия на науките на САЩ.[3]
Той е най-известен с съвместната си статия с Ричард Стърнс, за която получава наградата Тюринг, в която въвежда класовете на сложност по време и доказва теоремата за времевата йерархия. Друга статия на Хартманис от 1977 година с Леонард Бърман, въвежда все още нерешената Хипотеза на Бърман-Хартманис че всички NP-пълни езици са изоморфни по полиномиално време.
|