Juris Hartmanis

Juris Hartmanis Obraz w Infobox. Juris Hartmanis w 2002 roku . Biografia
Narodziny 5 lipca 1928
Ryga
Narodowości Łotewski
amerykański
Trening California Institute of Technology
University of Marburg
Massachusetts Institute of Technology
University of Missouri w Kansas City
Zajęcia Matematyk , informatyk , profesor uniwersytetu
Tata Mārtiņš Hartmanis ( d )
Rodzeństwo Astrid Ivask ( w )
Inne informacje
Pracował dla Cornell University , Ohio State University , General Electric , Santa Fe Institute
Obszary Informatyka ( w ) , komputer
Członkiem American Mathematical Society
American Academy of Arts and Sciences
United States National
Academy of Engineering Łotewska Akademia Nauk
Association for Computing Machinery
Amerykańska Akademia Nauk (2013)
Kierownik Robert P. Dilworth (1955)
Nagrody Nagroda Turinga (1993)

Juris Hartmanis (ur5 lipca 1928w Ryga , Łotwa ) to amerykański informatyk pochodzenia łotewskiego. Wraz z Richardem Stearnsem otrzymał w 1993 roku nagrodę Turinga za wspólną pracę. Ich badania doprowadziły do ​​narodzin teorii złożoności algorytmów.

Biografia

Urodzony na Łotwie, po drugiej wojnie światowej wyemigrował do Niemiec . Uzyskał tytuł licencjata z fizyki na Uniwersytecie w Marburgu . Następnie przeniósł się do Stanów Zjednoczonych i uzyskał tytuł magistra matematyki stosowanej na University of Kansas City (obecnie znanym jako University of Missouri-Kansas City ). Doktorat z matematyki uzyskał w California Institute of Technology (Caltech) w 1955 roku pod kierunkiem Roberta Dilwortha . Następnie pracował w laboratorium badawczym General Electric Company , opracowując i prezentując zasady obsługi komputera. W 1965 r. Został profesorem na Cornell University , gdzie pomógł założyć wydział informatyki i był jego pierwszym prezesem.

Pracuje

Hartmanis jest jednym z twórców teorii złożoności . Zawdzięczamy mu w szczególności twierdzenie o hierarchii w deterministycznym czasie . Podał też hipotezę Bermana-Hartmanisa .

Bibliografia

  1. (w) „  Juris Hartmanis  ” na stronie Mathematics Genealogy Project .

Linki zewnętrzne