piątek,
Juris Hartmanis
Juris Hartmanis był jednym z najważniejszych twórców teorii złożoności obliczeniowej i współlaureatem Nagrody Turinga w 1993 roku.
Biografia
Juris Hartmanis urodził się 5 lipca 1928 roku w Rydze na Łotwie, a zmarł 29 lipca 2022 roku. Był amerykańskim informatykiem pochodzenia łotewskiego, związanym przez większą część kariery z badaniami nad podstawami informatyki teoretycznej.
Po II wojnie światowej opuścił Łotwę i studiował w Niemczech, a następnie w Stanach Zjednoczonych. Doktorat uzyskał w California Institute of Technology w 1955 roku, po czym pracował m.in. w General Electric Research Laboratory. Od 1965 roku był związany z Cornell University, gdzie współtworzył tamtejszy wydział informatyki i odegrał ważną rolę w jego rozwoju.
Dorobek naukowy
Najważniejszy wkład Hartmanisa dotyczył teorii złożoności obliczeniowej. Wraz z Richardem E. Stearnsem opublikował pracę uznawaną za fundament tej dziedziny, w której zdefiniowano klasy czasu obliczeń oraz rozwinięto formalne podstawy badania trudności problemów obliczeniowych.
Do jego najbardziej znanych osiągnięć należy współtworzenie teoretycznych ram opisu złożoności czasowej i dowód twierdzenia hierarchii czasowej, które pokazuje, że większa ilość czasu obliczeń rzeczywiście pozwala rozwiązać szerszą klasę problemów. Hartmanis jest też uznawany za jednego z pionierów, którzy ukształtowali nowoczesne podejście do analizy algorytmów pod kątem ich zasobochłonności.
Jego dorobek pozostaje istotny do dziś w informatyce teoretycznej, analizie algorytmów, kryptografii i badaniach nad granicami obliczalności.
Nagroda Turinga
W 1993 roku Juris Hartmanis i Richard E. Stearns otrzymali Nagrodę Turinga za pracę, która położyła fundamenty pod teorię złożoności obliczeniowej. To jedno z najważniejszych wyróżnień w informatyce, przyznane za wkład o znaczeniu przełomowym dla całej dyscypliny.
