Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/Juris_Hartmanis> ?p ?o }
- Juris_Hartmanis abstract "Juris Hartmanis (born July 5, 1928) 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 Mārtiņš Hartmanis, a general in the Latvian Army. After the Soviet Union occupied Latvia in 1940, Mārtiņš Hartmanis was arrested by Soviets and died in a prison. At the end of World War II, the wife and children of Mārtiņš Hartmanis 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 Master'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 of the American Mathematical Society and a member of the National Academy of Engineering and National Academy of Sciences.He is best known for his Turing-award winning paper with Richard Stearns, in which he introduced time complexity classes TIME (f(n)) and proved the time hierarchy theorem. Another paper by Hartmanis from 1977, with Leonard Berman, introduced the still-unsolved Berman–Hartmanis conjecture that all NP-complete languages are polynomial time isomorphic.".
- Juris_Hartmanis almaMater California_Institute_of_Technology.
- Juris_Hartmanis award Turing_Award.
- Juris_Hartmanis birthDate "1928-07-05".
- Juris_Hartmanis birthDate "1928-07-07".
- Juris_Hartmanis birthPlace Latvia.
- Juris_Hartmanis birthPlace Riga.
- Juris_Hartmanis birthYear "1928".
- Juris_Hartmanis doctoralStudent Allan_Borodin.
- Juris_Hartmanis doctoralStudent Dexter_Kozen.
- Juris_Hartmanis field Computer_science.
- Juris_Hartmanis lccnId "n/84/804724".
- Juris_Hartmanis thumbnail Juris_Hartmanis(2002).jpg?width=300.
- Juris_Hartmanis viafId "34537992".
- Juris_Hartmanis wikiPageExternalLink 0206023.
- Juris_Hartmanis wikiPageExternalLink hartmanis.
- Juris_Hartmanis wikiPageID "305842".
- Juris_Hartmanis wikiPageRevisionID "629524116".
- Juris_Hartmanis almaMater California_Institute_of_Technology.
- Juris_Hartmanis birthDate "1928-07-05".
- Juris_Hartmanis birthPlace Latvia.
- Juris_Hartmanis birthPlace Riga.
- Juris_Hartmanis dateOfBirth "1928-07-07".
- Juris_Hartmanis doctoralStudents Allan_Borodin.
- Juris_Hartmanis doctoralStudents "Dexter Kozen".
- Juris_Hartmanis doctoralStudents "Janos Simon".
- Juris_Hartmanis field Computer_science.
- Juris_Hartmanis hasPhotoCollection Juris_Hartmanis.
- Juris_Hartmanis imageSize "150".
- Juris_Hartmanis lccn "n/84/804724".
- Juris_Hartmanis name "Hartmanis, Juris".
- Juris_Hartmanis name "Juris Hartmanis".
- Juris_Hartmanis placeOfBirth Latvia.
- Juris_Hartmanis placeOfBirth Riga.
- Juris_Hartmanis prizes "Turing Award".
- Juris_Hartmanis shortDescription "Computer scientist".
- Juris_Hartmanis viaf "34537992".
- Juris_Hartmanis wordnet_type synset-scientist-noun-1.
- Juris_Hartmanis workInstitution Cornell_University.
- Juris_Hartmanis workInstitution General_Electric.
- Juris_Hartmanis description "Computer scientist".
- Juris_Hartmanis description "Computer scientist".
- Juris_Hartmanis subject Category:1928_births.
- Juris_Hartmanis subject Category:California_Institute_of_Technology_alumni.
- Juris_Hartmanis subject Category:Cornell_University_faculty.
- Juris_Hartmanis subject Category:Fellows_of_the_American_Mathematical_Society.
- Juris_Hartmanis subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Juris_Hartmanis subject Category:Latvian_computer_scientists.
- Juris_Hartmanis subject Category:Latvian_emigrants_to_the_United_States.
- Juris_Hartmanis subject Category:Living_people.
- Juris_Hartmanis subject Category:Members_of_the_United_States_National_Academy_of_Engineering.
- Juris_Hartmanis subject Category:Members_of_the_United_States_National_Academy_of_Sciences.
- Juris_Hartmanis subject Category:People_from_Riga.
- Juris_Hartmanis subject Category:Theoretical_computer_scientists.
- Juris_Hartmanis subject Category:Turing_Award_laureates.
- Juris_Hartmanis type Acquirer109764201.
- Juris_Hartmanis type Associate109816771.
- Juris_Hartmanis type CausalAgent100007347.
- Juris_Hartmanis type Colleague109935990.
- Juris_Hartmanis type ComputerScientist109951070.
- Juris_Hartmanis type ComputerUser109951274.
- Juris_Hartmanis type FellowsOfTheAssociationForComputingMachinery.
- Juris_Hartmanis type Honoree110183757.
- Juris_Hartmanis type LatvianComputerScientists.
- Juris_Hartmanis type Laureate110249011.
- Juris_Hartmanis type LivingPeople.
- Juris_Hartmanis type LivingThing100004258.
- Juris_Hartmanis type Object100002684.
- Juris_Hartmanis type Organism100004475.
- Juris_Hartmanis type Peer109626238.
- Juris_Hartmanis type PeopleFromRiga.
- Juris_Hartmanis type Person100007846.
- Juris_Hartmanis type PhysicalEntity100001930.
- Juris_Hartmanis type Recipient109627906.
- Juris_Hartmanis type Scientist110560637.
- Juris_Hartmanis type TheoreticalComputerScientists.
- Juris_Hartmanis type TuringAwardLaureates.
- Juris_Hartmanis type Whole100003553.
- Juris_Hartmanis type YagoLegalActor.
- Juris_Hartmanis type YagoLegalActorGeo.
- Juris_Hartmanis type Agent.
- Juris_Hartmanis type Person.
- Juris_Hartmanis type Scientist.
- Juris_Hartmanis type Person.
- Juris_Hartmanis type Scientist.
- Juris_Hartmanis type Agent.
- Juris_Hartmanis type NaturalPerson.
- Juris_Hartmanis type Thing.
- Juris_Hartmanis type Q215627.
- Juris_Hartmanis type Q5.
- Juris_Hartmanis type Q901.
- Juris_Hartmanis type Person.
- Juris_Hartmanis comment "Juris Hartmanis (born July 5, 1928) 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 Mārtiņš Hartmanis, a general in the Latvian Army. After the Soviet Union occupied Latvia in 1940, Mārtiņš Hartmanis was arrested by Soviets and died in a prison.".
- Juris_Hartmanis label "Juris Hartmanis".
- Juris_Hartmanis label "Juris Hartmanis".
- Juris_Hartmanis label "Juris Hartmanis".
- Juris_Hartmanis label "Juris Hartmanis".
- Juris_Hartmanis label "Juris Hartmanis".
- Juris_Hartmanis label "Juris Hartmanis".
- Juris_Hartmanis label "Juris Hartmanis".