|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:California_Institute_of_Technology
gptkb:University_of_Kansas_City
|
|
gptkbp:awardReceived
|
gptkb:Guggenheim_Fellowship
gptkb:Turing_Award
gptkb:EATCS_Award
|
|
gptkbp:birthDate
|
1928-07-05
|
|
gptkbp:birthPlace
|
gptkb:Riga,_Latvia
|
|
gptkbp:co-recipient
|
gptkb:Richard_E._Stearns
|
|
gptkbp:deathDate
|
2022-07-29
|
|
gptkbp:deathPlace
|
gptkb:Ithaca,_New_York,_USA
|
|
gptkbp:doctoralAdvisor
|
gptkb:Robert_P._Dilworth
|
|
gptkbp:employer
|
gptkb:Cornell_University
|
|
gptkbp:field
|
gptkb:theoretical_computer_science
|
|
gptkbp:knownFor
|
gptkb:Hartmanis-Stearns_conjecture
founding computational complexity theory
|
|
gptkbp:memberOf
|
gptkb:American_Academy_of_Arts_and_Sciences
gptkb:National_Academy_of_Engineering
|
|
gptkbp:nationality
|
gptkb:American
gptkb:Latvian
|
|
gptkbp:occupation
|
gptkb:computer_scientist
gptkb:mathematician
|
|
gptkbp:positionHeld
|
professor at Cornell University
|
|
gptkbp:spouse
|
gptkb:Constance_Hartmanis
|
|
gptkbp:thesisTitle
|
gptkb:Lattice_Theory
|
|
gptkbp:thesisYear
|
1955
|
|
gptkbp:TuringAwardYear
|
1993
|
|
gptkbp:bfsParent
|
gptkb:Stephen_Cook
gptkb:Latvian_Americans
|
|
gptkbp:bfsLayer
|
5
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Juris Hartmanis
|