Юрис Хартманис
Юрис Хартманис Juris Hartmanis | |
американски информатик от латвийски произход | |
Хартманис през 2002 г. | |
Роден | |
---|---|
Починал | |
Учил в | Калифорнийски технологичен институт[1][2][3][4][5][6][7][8] Марбургски университет[2][3][6] Миссурийски университет в Канзас-Сити[3][2][5][6][7] |
Работил в | Университет „Корнел“ (1965)[9][1][3][2][6] Дженерал Илектрик (1958 – 1965)[1][2][3][6] Охайски държавен университет (1957 – 1958)[1][2][6] Университет „Корнел“ (1955 – 1957)[2][1][6] |
Награди | Награда Тюринг (1993)[10][9][1][2] Доктор хонорис кауза (май 1999)[11][12][13][14] |
Семейство | |
Братя/сестри | Астрид Иваск |
Уебсайт | www.engineering.cornell.edu/faculty-directory/juris-hartmanis-0 |
Юрис Хартманис в Общомедия |
Юрис Хартманис (на латвийски: Juris Hartmanis) е известен американски информатик теоретик от латвийски произход, който заедно с Ричард Стърнс получава през 1993 година наградата „Тюринг“ като признание за статията им, полагаща основите на теорията на изчислителната сложност.
Хартманис е роден в Латвия в семейството на генерала от латвийската армия Мартинш Хартманис. След като през 1940 година СССР окупира Латвия баща му е арестуван и умира в затвора. В края на Втората световна война, съпругата и децата на Мартинш Хартманис напускат Латвия като бежанци от страх за сигурността си. Първо бягат в Германия, където Юрис Хартманис получава магистърска степен по физика от Марбургския университет. После се мести в САЩ, където през 1951 година получава магистърска степен по приложна математика в Университета на Канзас Сити (днес Университет на Мисури – Канзас Сити). Защитава докторат по математика от Калифорнийския технологичен институт под научното ръководство на Робърт Дилуърт през 1955 година. През май 1999 година Университетът го награждава с титлата „почетен доктор“.
След период на преподавателска дейност в Университета Корнел[15] и Охайския щатски университет, през 1958 година Хартманис постъпва на работа в изследователската лаборатория на General Electric. Докато е там разработва много принципи от областта на теорията на изчислителната сложност. През 1965, става професор в Университета Корнел, където е един от основателите и първи председател на катедрата по компютърни науки (една от първите в света университетски катедри в тази област). Хартманис е пожизнен член на Асоциацията за компютърна техника и на Американското математическо общество[16], както и член на Националната инженерна академия и Националната академия на науките на САЩ.[17]
Той е най-известен със съвместната си статия с Ричард Стърнс, за която получава наградата „Тюринг“, в която въвежда класовете на сложност по време и доказва теоремата за времевата йерархия. Друга статия на Хартманис от 1977 година с Ленард Бърман, въвежда все още нерешената Хипотеза на Бърман-Хартманис че всички NP-пълни езици са изоморфни по полиномиално време.
Източници
[редактиране | редактиране на кода]- ↑ а б в г д е 6039 // Посетен на 20 януари 2022 г.
- ↑ а б в г д е ж з amturing.acm.org // Посетен на 20 януари 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 г.
- ↑ а б www.computerhope.com // Посетен на 20 януари 2022 г.
- ↑ awards.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 г.
- ↑ 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 година – от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница, за да видите списъка на съавторите.
ВАЖНО: Този шаблон се отнася единствено до авторските права върху съдържанието на статията. Добавянето му не отменя изискването да се посочват конкретни източници на твърденията, които да бъдат благонадеждни. |
|
|