Juris Hartmanis -Juris Hartmanis

Aus Wikipedia, der freien Enzyklopädie

Juris Hartmanis
Juris Hartmanis(2002).jpg
Geboren ( 1928-07-05 )5. Juli 1928
Riga, Lettland
Gestorben 29. Juli 2022 (2022-07-29)(94 Jahre)
Alma Mater
Auszeichnungen Turing-Preis (1993)
Wissenschaftlicher Werdegang
Felder Informatik
Institutionen
Doktorvater Robert P. Dilworth
Doktoranden Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5. Juli 1928 - 29. Juli 2022) war ein in Lettland geborener amerikanischer Informatiker und Computertheoretiker, der zusammen mit Richard E. Stearns 1993 den ACM Turing Award "in Anerkennung ihrer wegweisenden Arbeit erhielt, die die Grundlagen für das Gebiet der Computational Complexity Theory ".

Leben und Karriere

Hartmanis wurde am 5. Juli 1928 in Lettland geboren. Er war ein Sohn von Mārtiņš Hartmanis [ lv ], einem General der lettischen Armee, und Bruder der Dichterin Astrid Ivask . Nachdem die Sowjetunion 1940 Lettland besetzt hatte, wurde Mārtiņš Hartmanis von den Sowjets festgenommen und starb in einem Gefängnis. Später im Zweiten Weltkrieg verließen die Frau und die Kinder von Mārtiņš Hartmanis Lettland im Jahr 1944 als Flüchtlinge aus Angst um ihre Sicherheit, falls die Sowjetunion Lettland erneut übernehmen sollte.

Sie zogen zunächst nach Deutschland, wo Juris Hartmanis an der Universität Marburg das Äquivalent eines Master-Abschlusses in Physik erhielt . Anschließend zog er in die Vereinigten Staaten, wo er 1951 einen Master-Abschluss in angewandter Mathematik an der University of Kansas City (heute bekannt als University of Missouri-Kansas City ) und 1955 einen Ph.D. in Mathematik vom Caltech unter der Leitung von Robert P. Dilworth . Die University of Missouri-Kansas City ehrte ihn im Mai 1999 mit einem Ehrendoktor für Humane Letters. Nachdem er Mathematik an der Cornell University und der Ohio State University unterrichtet hatte, trat Hartmanis 1958 dem General Electric Research Laboratory bei. Während seiner Zeit bei General Electric entwickelte er viele Prinzipien der Computational Complexity Theory. 1965 wurde er Professor an der Cornell University. Er war einer der Gründer und der erste Vorsitzende der Informatikabteilung (eine der ersten Informatikabteilungen der Welt).

Hartmanis trug in vielerlei Hinsicht zu den nationalen Bemühungen zur Förderung der Informatik und des Ingenieurwesens (CS&E) bei. Vor allem leitete er die Studie des National Research Council, die 1992 zur Veröffentlichung Computing the Future – A Broad Agenda for Computer Science and Engineering führte, die auf der Grundlage ihrer Prioritäten Empfehlungen aussprach, um die Kernanstrengungen in CS&E aufrechtzuerhalten, das Feld zu erweitern und um die Grundausbildung in CS&E zu verbessern. Von 1996 bis 1998 war er stellvertretender Direktor der National Science Foundation (NSF) Directorate of Computer and Information Science and Engineering (CISE).

1989 wurde Hartmanis als Mitglied in die National Academy of Engineering für grundlegende Beiträge zur Computational Complexity Theory und zur Forschung und Ausbildung im Computerbereich gewählt. Er war Fellow der Association for Computing Machinery und der American Mathematical Society sowie Mitglied der National Academy of Sciences . Er war auch ausländisches Mitglied der Lettischen Akademie der Wissenschaften, die ihm 2001 ihre Große Medaille [ lv ] für seine Verdienste um die Informatik verlieh.

Zusammen mit RE Stearns erhielt Hartmanis 1993 den Turing Award für eine Arbeit, in der sie Zeitkomplexitätsklassen TIME(f(n)) einführten und das Zeithierarchietheorem bewiesen . Ein weiterer Artikel von Hartmanis aus dem Jahr 1977 mit Leonard Berman führte die noch ungelöste Berman-Hartmanis-Vermutung ein, dass alle NP-vollständigen Sprachen polynomialzeitisomorph sind.

Hartmanis starb am 29. Juli 2022. Er wird von seinen drei Kindern Reneta, Martin und Audrey überlebt.

Auszeichnungen

Ausgewählte Publikationen

Bücher
  • Algebraische Strukturtheorie sequentieller Maschinen 1966 (mit RE Stearns )
  • Machbare Berechnungen und beweisbare Komplexitätseigenschaften 1978
  • Computational Complexity Theory (Hrsg.) 1989
  • Computing the Future: Eine breitere Agenda für Informatik und Ingenieurwesen (Hrsg.) 1992 (mit Herbert Lin)
Ausgewählte Artikel
  • "Rechenkomplexität rekursiver Folgen" 1964 (mit RE Stearns )
  • "Klassifikationen von Berechnungen nach Zeit und Speicheranforderungen" 1965 (mit PM Lewis und RE Stearns )
  • "Hierarchies of Memory Limited Computation" 1965 (mit PM Lewis und RE Stearns )
  • „Über die Rechenkomplexität von Algorithmen“ 1965 (mit RE Stearns )
  • Gedächtnisgrenzen für die Erkennung kontextfreier und kontextsensitiver Sprachen 1965 (mit PM Lewis und RE Stearns )
  • „On isomorphisms and density of NP and other complete sets“ 1977 (mit L. Berman)
  • „Beobachtungen zur Entwicklung der Theoretischen Informatik“ 1981

Vorstellungsgespräche

Juris Hartmanis wurde viermal interviewt. Videos sind für zwei von ihnen verfügbar. Die weitreichendste stammt von William Aspray.

  • William Aspray interviewt Hartmanis für die ACM Oral History Interviews, 2009
  • David Gries interviewt Hartmanis für die Cornell Ecomons Collection, 2010
  • Len Shustek interviewt Hartmanis in einem Artikel in CACM, 2015
  • David Gries interviewt Hartmanis als Empfänger des ACM Turing Award, 2018

Verweise

Externe Links