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

Изтрито е съдържание Добавено е съдържание
мРедакция без резюме
м с --със пред с,з
Ред 14:
След период на преподавателска дейност в [[Университет Корнел|Университета Корнел]]<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>[http://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-пълни]] езици са изоморфни по [[полиномиално време]].
 
== Източници ==