Juris Hartmanis (geboren am 5. Juli 1928 in Riga, Lettland) ist ein prominenter Computerwissenschaftler und rechenbetonter Theoretiker, der, mit Richard E. Stearns, 1993 ACM Turing Preis "als Anerkennung für ihr Samenpapier erhalten hat, das die Fundamente für das Feld der rechenbetonten Kompliziertheitstheorie gegründet hat".

Hartmanis ist in Lettland geboren gewesen. Er war ein Sohn von Mārtiņš Hartmanis, ein General in der lettischen Armee. Nachdem die Sowjetunion Lettland 1940 besetzt hat, Mārtiņš wurde Hartmanis von Sowjets angehalten und ist in einem Gefängnis gestorben. Am Ende des Zweiten Weltkriegs haben die Frau und Kinder von Mārtiņš Hartmanis Lettland als Flüchtlinge verlassen, sich für ihre Sicherheit fürchtend, wenn die Sowjetunion Lettland wieder übernommen hat.

Sie haben sich zuerst nach Deutschland bewegt, wo Juris Hartmanis die Entsprechung von einem Vordiplom in der Physik von der Universität von Marburg erhalten hat. Dann hat er sich in die Vereinigten Staaten bewegt, wo er Magisterabschluss in der Angewandten Mathematik an der Universität des Kansas City (jetzt bekannt als die Universität des Missouris-Kansas-City) 1951 und Dr. in der Mathematik von Caltech unter der Aufsicht von Robert P. Dilworth 1955 erhalten hat. Die Universität des Missouris-Kansas-City hat ihn mit dem Ehrenarzt von Humanen Briefen im Mai 1999 geehrt.

Nach dem Unterrichten an der Universität von Cornell und Ohio Staatlichen Universität hat sich Hartmanis dem Forschungslabor von General Electric 1958 angeschlossen. Während an General Electric er viele Grundsätze der rechenbetonten Kompliziertheitstheorie entwickelt hat. 1965 ist er ein Professor an der Universität von Cornell geworden. An Cornell war er einer von Gründern und dem ersten Vorsitzenden seiner Informatik-Abteilung (der eine der ersten Informatik-Abteilungen in der Welt war). Hartmanis ist ein Gefährte der Vereinigung, um Maschinerie und ein Mitglied der Nationalen Akademie der Technik Zu schätzen.

Er ist für sein Turing-Preis-Gewinnen-Papier mit Richard Stearns am besten bekannt, in dem er Zeitkompliziertheitsklassen-ZEIT (f (n)) eingeführt hat und den Zeithierarchie-Lehrsatz bewiesen hat. Ein anderer Vortrag von Hartmanis von 1977, mit Leonard Berman, hat die noch ungelöste Vermutung von Berman-Hartmanis eingeführt, dass alle NP-complete Sprachen polynomische isomorphe Zeit sind.

Links

• Lebensbeschreibung von Hartmanis an Cornell