Juris Hartmanis -Juris Hartmanis

Z Wikipedii, wolnej encyklopedii

Juris Hartmanis
Juris Hartmanis(2002).jpg
Urodzić się ( 05.07.1928 )5 lipca 1928 r
Ryga, Łotwa
Zmarł 29 lipca 2022 (2022-07-29)(w wieku 94)
Alma Mater
Nagrody Nagroda Turinga (1993)
Kariera naukowa
Pola Informatyka
Instytucje
Doradca doktorski Robert P. Dilworth
Doktoranci Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5 lipca 1928 – 29 lipca 2022) był urodzonym na Łotwie amerykańskim informatykiem i teoretykiem obliczeń, który wraz z Richardem E. Stearnsem otrzymał nagrodę ACM Turing Award 1993 „w uznaniu ich przełomowego artykułu, który ustanowił podwaliny dla dziedzina teorii złożoności obliczeniowej ”.

życie i kariera

Hartmanis urodził się na Łotwie 5 lipca 1928 r. Był synem Mārtiņša Hartmanisa [ lv ], generała armii łotewskiej i bratem poetki Astrid Ivask . Po zajęciu Łotwy przez Związek Radziecki w 1940 r. Mārtiņš Hartmanis został aresztowany przez Sowietów i zmarł w więzieniu. Później, podczas II wojny światowej, żona i dzieci Mārtiņša Hartmanisa opuściły Łotwę w 1944 roku jako uchodźcy, obawiając się o swoje bezpieczeństwo, gdyby Związek Radziecki ponownie przejął Łotwę.

Najpierw przenieśli się do Niemiec, gdzie Juris Hartmanis otrzymał odpowiednik tytułu magistra fizyki na Uniwersytecie w Marburgu . Następnie przeniósł się do Stanów Zjednoczonych, gdzie w 1951 roku uzyskał tytuł magistra matematyki stosowanej na Uniwersytecie Kansas City (obecnie znany jako University of Missouri-Kansas City ), a w 1955 roku doktorat. w matematyce z Caltech pod kierunkiem Roberta P. Dilwortha . Uniwersytet Missouri-Kansas City uhonorował go tytułem doktora honoris causa Humane Letters w maju 1999 roku. Po uczeniu matematyki na Cornell University i Ohio State University, Hartmanis dołączył do General Electric Research Laboratory w 1958 roku. Podczas pracy w General Electric opracował wiele zasad teorii złożoności obliczeniowej. W 1965 został profesorem na Cornell University. Był jednym z założycieli i pierwszym kierownikiem jej wydziału informatyki (który był jednym z pierwszych wydziałów informatyki na świecie).

Hartmanis wniósł wkład w krajowe wysiłki na rzecz rozwoju informatyki i inżynierii (CS&E) na wiele sposobów. Co najważnize, przewodniczył badaniu National Research Council, które zaowocowało publikacją Computing the Future – A Broad Agenda for Computer Science and Engineering w 1992 roku, w której sformułowano zalecenia oparte na jej priorytetach, aby podtrzymać podstawowe wysiłki w zakresie CS&E, aby poszerzyć tę dziedzinę oraz poprawić edukację licencjacką w CS&E. W latach 1996-1998 był zastępcą dyrektora Dyrekcji ds. Informatyki i Inżynierii (CISE) Narodowej Fundacji Nauki (NSF) .

W 1989 roku Hartmanis został wybrany członkiem Narodowej Akademii Inżynierii za fundamentalny wkład w teorię złożoności obliczeniowej oraz badania i edukację w dziedzinie informatyki. Był członkiem Association for Computing Machinery i American Mathematical Society, a także członkiem Narodowej Akademii Nauk . Był także zagranicznym członkiem Łotewskiej Akademii Nauk, która w 2001 roku przyznała mu Wielki Medal [ lv ] za wkład w informatykę.

Wraz z RE Stearnsem Hartmanis otrzymał nagrodę Turinga 1993 za artykuł, w którym wprowadzili klasy złożoności czasowej TIME(f(n)) i udowodnili twierdzenie o hierarchii czasowej . Inna praca Hartmanisa z 1977, z Leonardem Bermanem, wprowadziła wciąż nierozwiązaną hipotezę Bermana-Hartmanisa, że ​​wszystkie języki NP-zupełne są izomorficzne w czasie wielomianowym.

Hartmanis zmarł 29 lipca 2022 r. Przeżył troje dzieci: Renetę, Martina i Audrey.

Nagrody

Wybrane publikacje

Książki
  • Teoria struktury algebraicznej maszyn sekwencyjnych 1966 (z RE Stearns )
  • Obliczenia wykonalne i udowodnione właściwości złożoności 1978
  • Teoria złożoności obliczeniowej (red.) 1989
  • Computing the Future: szerszy program informatyki i inżynierii (red.) 1992 (z Herbertem Lin)
Wybrane artykuły
  • „Złożoność obliczeniowa sekwencji rekurencyjnych” 1964 (z RE Stearns )
  • „Klasyfikacje obliczeń według wymagań czasowych i pamięciowych” 1965 (z PM Lewis i RE Stearns )
  • „Hierarchie obliczeń o ograniczonej pamięci” 1965 (z PM Lewisem i RE Stearnsem )
  • „O złożoności obliczeniowej algorytmów” 1965 (z RE Stearns )
  • Ograniczenia pamięci do rozpoznawania języków bezkontekstowych i kontekstowych 1965 (z PM Lewis i RE Stearns )
  • „O izomorfizmach i gęstości NP i innych kompletnych zbiorów” 1977 (z L. Bermanem)
  • „Obserwacje dotyczące rozwoju informatyki teoretycznej” 1981

Wywiady

Juris Hartmanis udzielał wywiadów czterokrotnie. Filmy są dostępne dla dwóch z nich. Najbardziej dalekosiężnym jest William Aspray.

  • William Aspray przeprowadza wywiad z Hartmanisem dla wywiadów ACM Oral History, 2009
  • David Gries przeprowadza wywiad z Hartmanisem dla kolekcji Cornell ecommons, 2010
  • Len Shustek przeprowadza wywiad z Hartmanisem w artykule w CACM, 2015
  • David Gries przeprowadza wywiad z Hartmanisem jako laureatem nagrody ACM Turing Award 2018

Bibliografia

Zewnętrzne linki