Юрис Хартманис
Юрис Хартманис Juris Hartmanis |
|
---|---|
американски информатик от латвийски произход | |
![]() Хартманис през 2002 г. |
|
|
|
Роден | |
|
|
Учил в |
Калифорнийски технологичен институт[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 |
Юрис Хартманис в Общомедия |
Юрис Хартманис (на латвийски: Juris Hartmanis) е известен американски информатик теоретик от латвийски произход, който заедно с Ричард Стърнс получава през 1993 година наградата „Тюринг“ като признание за статията им, полагаща основите на теорията на изчислителната сложност.
Хартманис е роден в Латвия в семейството на генерала от латвийската армия Мартинш Хартманис. След като през 1940 година СССР окупира Латвия баща му е арестуван и умира в затвора. В края на Втората световна война, съпругата и децата на Мартинш Хартманис напускат Латвия като бежанци от страх за сигурността си. Първо бягат в Германия, където Юрис Хартманис получава магистърска степен по физика от Марбургския университет. После се мести в САЩ, където през 1951 година получава магистърска степен по приложна математика в Университета на Канзас Сити (днес Университет на Мисури – Канзас Сити). Защитава докторат по математика от Калифорнийския технологичен институт под научното ръководство на Робърт Дилуърт през 1955 година. През май 1999 година Университетът го награждава с титлата „почетен доктор“.
След период на преподавателска дейност в Университета Корнел[14] и Охайския щатски университет, през 1958 година Хартманис постъпва на работа в изследователската лаборатория на General Electric. Докато е там разработва много принципи от областта на теорията на изчислителната сложност. През 1965, става професор в Университета Корнел, където е един от основателите и първи председател на катедрата по компютърни науки (една от първите в света университетски катедри в тази област). Хартманис е пожизнен член на Асоциацията за компютърна техника и на Американското математическо общество[15], както и член на Националната инженерна академия и Националната академия на науките на САЩ.[16]
Той е най-известен със съвместната си статия с Ричард Стърнс, за която получава наградата „Тюринг“, в която въвежда класовете на сложност по време и доказва теоремата за времевата йерархия. Друга статия на Хартманис от 1977 година с Ленард Бърман, въвежда все още нерешената Хипотеза на Бърман-Хартманис че всички NP-пълни езици са изоморфни по полиномиално време.
Източници[редактиране | редактиране на кода]
- ↑ а б awards.acm.org, Посетен на 20 януари 2022 г..
- ↑ а б в www.computerhope.com, Посетен на 20 януари 2022 г..
- ↑ а б в г д е ж з и amturing.acm.org, Посетен на 20 януари 2022 г..
- ↑ а б в г amturing.acm.org, Посетен на 22 януари 2022 г..
- ↑ а б в г www.cs.cornell.edu, Посетен на 22 януари 2022 г..
- ↑ а б d.web.umkc.edu, Посетен на 22 януари 2022 г..
- ↑ а б www.cs.cornell.edu, Посетен на 22 януари 2022 г..
- ↑ а б в г д ethw.org, Посетен на 20 януари 2022 г..
- ↑ www.cs.cornell.edu, Посетен на 20 януари 2022 г..
- ↑ а б cacm.acm.org, Посетен на 20 януари 2022 г..
- ↑ а б в г д е ж www.cs.cornell.edu, Посетен на 20 януари 2022 г..
- ↑ а б d.web.umkc.edu, Посетен на 20 януари 2022 г..
- ↑ www.cs.cornell.edu, Посетен на 22 януари 2022 г..
- ↑ Hartmanis biography at Cornell
- ↑ List of Fellows of the American Mathematical Society, Посетен на 19 януари 2013.
- ↑ National Academy of Sciences Members and Foreign Associates Elected, National Academy of Sciences, 30 април 2013.
![]() ![]() |
Тази страница частично или изцяло представлява превод на страницата „Juris Hartmanis“ в Уикипедия на английски. Оригиналният текст, както и този превод, са защитени от Лиценза „Криейтив Комънс – Признание – Споделяне на споделеното“, а за съдържание, създадено преди юни 2009 година – от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница, за да видите списъка на съавторите.
ВАЖНО: Този шаблон се отнася единствено до авторските права върху съдържанието на статията. Добавянето му не отменя изискването да се посочват конкретни източници на твърденията, които да бъдат благонадеждни. |
|
|