Juris Hartmanis is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory". Hartmanis was born in Latvia. He was a son of Martins Hertmanis, a general in the Latvian Army. After the Soviet Union occupied Latvia in 1940, Martins Hertmanis was arrested by Soviets and died in a prison.

PropertyValue
dbpedia-owl:Person/birthDate
  • 1928-07-05 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:Person/individualisedPnd
  • 11892947X
dbpedia-owl:birthDate
  • 1928-07-05 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:thumbnail
dbpprop:abstract
  • Juris Hartmanis is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory". Hartmanis was born in Latvia. He was a son of Martins Hertmanis, a general in the Latvian Army. After the Soviet Union occupied Latvia in 1940, Martins Hertmanis was arrested by Soviets and died in a prison. At the end of World War II, the wife and children of Martins Hertmanis left Latvia as refugees, fearing for their safety if the Soviet Union took over Latvia again. They first moved to Germany, where Juris Hartmanis received the equivalent of a Bachelor's degree in Physics from the University of Marburg. Then he moved to the United States, where he received Master's degree in Applied Mathematics at the University of Kansas City (now known as the University of Missouri-Kansas City) in 1951 and Ph.D. in Mathematics from Caltech under the supervision of Robert P. Dilworth in 1955. The University of Missouri-Kansas City honored him with Honorary Doctor of Humane Letters in May 1999. After teaching at Cornell University and Ohio State University, Hartmanis joined the General Electric Research Laboratory in 1958. While at General Electric, he developed many principles of computational complexity theory. In 1965, he became a professor at Cornell University. At Cornell, he was one of founders and the first chairman of its computer science department (which was one of the first computer science departments in the world). Hartmanis is a Fellow of the Association for Computing Machinery and a member of National Academy of Engineering. He is best known for his Turing-award winning paper with Richard Stearns, in which he introduced time complexity classes TIME (f) and proved the time hierarchy theorem.
  • Juris Hartmanis ist ein renommierter Informatiker, der gemeinsam mit Richard Stearns 1993 den Turing Award für seine Forschungsleistungen auf dem Gebiet der Komplexitätstheorie erhielt. Nach dem Zweiten Weltkrieg zog er zunächst nach Deutschland. Er erwarb ein Diplom in Physik an der Universität Magdeburg und emigrierte in die Vereinigten Staaten von Amerika, wo er einen Master-Abschluss in Angewandter Mathematik an der University of Missouri-Kansas City absolvierte. Schließlich erlangte er einen Ph.D. in Mathematik von Caltech. In der Folge arbeitete er für das General Electric Research Laboratory, wo er Prinzipien der Informatik erforschte und lehrte. 1965 wurde er Professor der Cornell University.
  • Juris Hartmanis es un prominente científico de la computación que, junto con Richard E. Stearns, recibió en 1993 el Premio Turing de la ACM "en reconocimiento de su artículo original que estableció los fundamentos del campo de la teoría de la complejidad computacional". Nacido en Letonia, se mudó a Alemania tras la Segunda Guerra Mundial. Recibió lo equivalente a una licenciatura en Física por la Universidad de Marburg, emigrando después a los Estados Unidos para estudiar su título de Máster en matemática aplicada por la Universidad de Kansas City (hoy en día conocida como la Universidad de Missouri-Kansas City). Se doctoró en matemáticas por Caltech. Después, trabajó para el Laboratorio de Investigación de General Electric, desarrollando los principios de las ciencias de la computación. En 1965, se unió al profesorado de la Universidad de Cornell, donde ayudaría a crear su Departamento de Ciencias de la Computación, del que sería su primer decano.
  • Juris Hartmanis, est un informaticien letton. Avec Richard Stearns, il a reçu en 1993 le prix Turing pour leur travail commmun. Leurs recherches ont conduit à la naissance de la théorie de la complexité des algorithmes.
  • ユリス・ハルトマニス（Juris Hartmanis、1928年7月7日 - ）は、著名な計算機科学者であり、計算理論を専門とする。1993年、リチャード・スターンズと共に「計算複雑性理論の分野を確立した独創的な論文に対して」チューリング賞を受賞した。 ラトビアのリガに生まれ、第二次世界大戦後にドイツに移住した。マールブルク大学で物理学を学んだ後にアメリカ合衆国に移住し、カンザスシティ大学（現在のミズーリ大学カンザスシティ校）で応用数学の修士号を取得した。さらにカリフォルニア工科大学で数学の博士号を取得している。 その後、ゼネラル・エレクトリックの研究所に勤務し、計算機科学の理論的研究を行った。1965年、コーネル大学の教授に就任し、計算機科学部門の設立を助け、最初の学科長を務めている。
  • Juris Hartmanis is een Lets informaticus. Samen met Richard E. Stearns won hij in 1993 de Turing Award voor het leggen van de funderingen van de complexiteitstheorie, zoals het gebruik van complexiteitsklassen.
  • Juris Hartmanis – łotewski informatyk, którego uważa się za współtwórcę teorii złożoności obliczeniowej, za co obaj otrzymali nagrodę Turinga w 1993.
  • Juris Varlejs Hartmanis este un informatician american de origine letonă, cunoscut ca autor, împreună cu Richard Stearns, al cărţii de referinţă intitulate Despre complexitatea computaţională a algoritmilor, carte ce a pus bazele teoriei complexităţii algoritmilor. Cei doi ai primit în 1993 Premiul Turing pentru această lucrare.
  • Юрис Хартманис — учёный в области теории вычислительных систем, награждён в 1993 году премией Тьюринга за достижения в исследовании теории сложности вычислений.
dbpprop:birthDate
dbpprop:birthPlace
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:imageWidth
  • 150px
dbpprop:name
  • Hartmanis, Juris
  • Juris Hartmanis
dbpprop:prizes
dbpprop:reference
dbpprop:shortDescription
  • Computer scientist
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitution
rdf:type
rdfs:comment
  • Juris Hartmanis is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory". Hartmanis was born in Latvia. He was a son of Martins Hertmanis, a general in the Latvian Army. After the Soviet Union occupied Latvia in 1940, Martins Hertmanis was arrested by Soviets and died in a prison.
  • Juris Hartmanis ist ein renommierter Informatiker, der gemeinsam mit Richard Stearns 1993 den Turing Award für seine Forschungsleistungen auf dem Gebiet der Komplexitätstheorie erhielt. Nach dem Zweiten Weltkrieg zog er zunächst nach Deutschland. Er erwarb ein Diplom in Physik an der Universität Magdeburg und emigrierte in die Vereinigten Staaten von Amerika, wo er einen Master-Abschluss in Angewandter Mathematik an der University of Missouri-Kansas City absolvierte.
  • Juris Hartmanis es un prominente científico de la computación que, junto con Richard E. Stearns, recibió en 1993 el Premio Turing de la ACM "en reconocimiento de su artículo original que estableció los fundamentos del campo de la teoría de la complejidad computacional". Nacido en Letonia, se mudó a Alemania tras la Segunda Guerra Mundial.
  • Juris Hartmanis, est un informaticien letton. Avec Richard Stearns, il a reçu en 1993 le prix Turing pour leur travail commmun. Leurs recherches ont conduit à la naissance de la théorie de la complexité des algorithmes.
  • Juris Hartmanis is een Lets informaticus. Samen met Richard E. Stearns won hij in 1993 de Turing Award voor het leggen van de funderingen van de complexiteitstheorie, zoals het gebruik van complexiteitsklassen.
  • Juris Hartmanis – łotewski informatyk, którego uważa się za współtwórcę teorii złożoności obliczeniowej, za co obaj otrzymali nagrodę Turinga w 1993.
  • Juris Varlejs Hartmanis este un informatician american de origine letonă, cunoscut ca autor, împreună cu Richard Stearns, al cărţii de referinţă intitulate Despre complexitatea computaţională a algoritmilor, carte ce a pus bazele teoriei complexităţii algoritmilor. Cei doi ai primit în 1993 Premiul Turing pentru această lucrare.
  • Юрис Хартманис — учёный в области теории вычислительных систем, награждён в 1993 году премией Тьюринга за достижения в исследовании теории сложности вычислений.
rdfs:label
  • Juris Hartmanis
  • Juris Hartmanis
  • Amir Pnueli
  • Juris Hartmanis
  • Juris Hartmanis
  • ユリス・ハルトマニス
  • Juris Hartmanis
  • Juris Hartmanis
  • Juris Hartmanis
  • Хартманис, Юрис
owl:sameAs
skos:subject
foaf:depiction
foaf:givenname
  • Juris
  • Juris
foaf:name
  • Juris Hartmanis
  • Juris Hartmanis
foaf:page
foaf:surname
  • Hartmanis
  • Hartmanis
is dbpprop:redirect of
is owl:sameAs of