Juris Hartmanis

Juris Hartmanis
Juris Hartmanis(2002).jpg
Geboren 5. Juli 1928 (Alter 94)
Riga, Lettland
Alma Mater
Auszeichnungen Turing Award (1993)
Wissenschaftliche Karriere
Felder Informatik
Institutionen
Doktorand Allan Borodin
Dexter Kozen

Juris Hartmanis (Geboren am 5. Juli 1928) ist ein prominent Informatiker und Computertheoretiker mit wem Richard E. Stearns, erhielt die 1993 ACM Turing Award "In Anerkennung ihres Samenpapiers, das die Grundlagen für den Bereich von feststellte Computerkomplexitätstheorie".

Leben und Karriere

Hartmanis wurde in geboren Lettland. Er war ein Sohn von Mārtiņš Hartmanis[LV],[1] ein General in der lettischen Armee und Bruder des Dichters Astrid Ivask. Nach der Sowjetunion besetzte Lettland im Jahr 1940Mārtiņš Hartmanis wurde von den Sowjets verhaftet und starb in einem Gefängnis. Am Ende von Zweiter WeltkriegDie Frau und die Kinder von Mārtiņš Hartmanis verließen Lettland als Flüchtlinge und fürchten um ihre Sicherheit, wenn die Sowjetunion Lettland erneut übernahm.

Sie zogen zuerst nach Deutschland, wo Juris Hartmanis das Äquivalent eines Master -Abschlusses in Physik von der erhielt Universität von Marburg. Er wechselte dann zum der Vereinigte Staaten, wo er einen Master -Abschluss in angewandter Mathematik in der Stadt der Universität von Kansas (jetzt bekannt als die Universität von Missouri - Kansas City) im Jahr 1951 und aPh.D. in Mathematik vonCal Tech Unter Beobachtung vonRobert P. Dilworth 1955.[2] Das Universität von Missouri - Kansas City ehrte ihn im Mai 1999 mit einem Ehrendoktor von Humane Letters.[3]

Nach dem Unterrichten bei Cornell Universität und Ohio State Universität, Hartmanis schloss sich dem an General Electric Forschungslabor im Jahr 1958. Während seiner Zeit bei General Electric entwickelte er viele Prinzipien der Computerkomplexitätstheorie. 1965 wurde er Professor bei Cornell Universität. In Cornell war er einer der Gründer und der erste Vorsitzende von seinem Informatik Abteilung (die eine der ersten Informatikabteilungen der Welt war).

1989 wurde Hartmanis als Mitglied in die gewählt Nationale Akademie des Ingenieurwesens Für grundlegende Beiträge zur Rechenkomplexitätstheorie sowie zur Forschung und Bildung im Computer. Hartmanis ist ein Gefährte des Verband für Rechenmaschinen und von der American Mathematical Society.[4] Auch ein Mitglied der Nationale Akademie der Wissenschaften.[5]

Er ist am bekanntesten für sein Turing-Ated-Praxis-Papier mit Richard Stearns, in dem er vorgestellt wurde Zeitkomplexität Klassen Zeit (f (n)) und bewies das Zeithierarchie Theorem. Ein weiteres Papier von Hartmanis aus dem Jahr 1977 mit Leonard Berman führte die noch ungelösten vor Berman -Hartmanis -Vermutung dass alle NP-Complete-Sprachen polynomiale isomorph sind.

Auszeichnungen

  • Doktor der Wissenschaft (Honoris Causa), Universität Dortmund, Deutschland, 1995
  • Ehrendoktor der humanen Briefe,[3] 1999
  • B. Bolzano Goldmedaille der Akademie der Wissenschaften, Tschechische Republik, 1995
  • Humboldt Foundation Senior US Scientist Award, 1993-94


Ausgewählte Publikationen

  • Berman, L.; Hartmanis, J. (1977), "Über Isomorphismen und Dichte von NP und anderen vollständigen Sätzen" (PDF), Siam Journal über Computing, 6 (2): 305–322, doi:10.1137/0206023, HDL:1813/7101, HERR 0455536.
  • Hartmanis, J.; Stearns, R. E. (1965), "Über die rechnerische Komplexität von Algorithmen", Transaktionen der American Mathematical Society, 117: 285–306, doi:10.2307/1994208, JStor 1994208, HERR 0170805.

Verweise

  1. ^ In den baltischen Sprachen sind eigene Namen keine lexikalischen Konstanten, sondern haben unterschiedliche grammatikalische Formen. Hartmanis muss als hartman-is verstanden werden, wobei Hartman ist der Stamm des eigenen Namens, während das Suffix -ist zeigt eine männliche grammatikalische Form in der lettischen Sprache an. In ähnlicher Weise zum Beispiel ist der Philosoph Kant als Kant bekanntwie in der litauischen Sprache.
  2. ^ Hartmanis, Juris (1955). Einige einbetten Theoreme für Gitter ein (Doktorarbeit). Cal Tech. doi:10.7907/40ks-0t27.
  3. ^ a b "Ehrenabschlüsse der Universität von Missouri". Universität von Missouri.
  4. ^ Liste der Stipendiaten der American Mathematical Society, abgerufen 2013-01-19.
  5. ^ Mitglieder der Nationalen Akademie der Wissenschaften und ausländische Mitarbeiter gewählt Archiviert 2013-05-27 bei der Wayback -Maschine, Nationale Akademie der Wissenschaften, 30. April 2013.
  6. ^ "Turing Award". ACM. 1993. Abgerufen 2022-07-30.
  7. ^ "Distinguished Service Award". Computing Research Association. CRA. Abgerufen 30. Juli, 2022.
  8. ^ "ACM Distinguished Service Award". ACM. 2013. Abgerufen 2022-07-30.
  9. ^ "Juris Hartmanis: Distinguished Service Award". 2013. Abgerufen 2022-07-30.
  10. ^ "NAE -Website - Dr. Juris Hartmanis". Nationale Akademie des Ingenieurwesens.
  11. ^ "Ausländische Mitglieder". Lettische Akademie der Wissenschaften. 1990. Abgerufen 2022-07-30.
  12. ^ "Mitglieder". Amerikanische Akademie für Kunst und Wissenschaften. 1992. Abgerufen 2022-07-30.
  13. ^ "ACM -Stipendiaten". ACM. 1994. Abgerufen 2022-07-30.
  14. ^ "Juris Hartmanis: ACM Fellow". 1994. Abgerufen 2022-07-09.
  15. ^ Liste der Stipendiaten der American Mathematical Society, abgerufen 2013-01-19.
  16. ^ "Fellows". American Association for the Advancement of Science. 1981. Abgerufen 2022-07-30.

Externe Links