Juris Hartmanis

Article

August 8, 2022

Si Juris Hartmanis (Hulyo 5, 1928 - Hulyo 29, 2022) maoy usa ka Amerikanong siyentista sa kompyuter nga natawo sa Latvia ug teorista sa komputasyon kinsa, uban ni Richard E. Stearns, nakadawat sa 1993 ACM Turing Award "agig pag-ila sa ilang seminal nga papel nga nagtukod sa mga pundasyon alang sa ang natad sa computational complexity theory".

Kinabuhi ug karera

Si Hartmanis natawo sa Latvia niadtong Hulyo 5, 1928. Anak siya ni Mārtiņš Hartmanis, usa ka heneral sa Latvian Army, ug igsoon sa magbabalak nga si Astrid Ivask. Human masakop sa Unyon Sobyet ang Latvia niadtong 1940, si Mārtiņš Hartmanis gidakop sa mga Sobyet ug namatay sa prisohan. Sa ulahi sa Ikaduhang Gubat sa Kalibutan, ang asawa ug mga anak ni Mārtiņš Hartmanis mibiya sa Latvia niadtong 1944 isip mga refugee, nahadlok sa ilang kaluwasan kon ang Unyon Sobyet mopuli pag-usab sa Latvia. physics gikan sa Unibersidad sa Marburg. Dayon mibalhin siya sa Estados Unidos, diin niadtong 1951 nakadawat siya og master's degree sa applied mathematics sa University of Kansas City (karon nailhan nga University of Missouri–Kansas City) ug niadtong 1955 usa ka Ph.D. sa matematika gikan sa Caltech ubos sa pagdumala ni Robert P. Dilworth. Gipasidunggan siya sa Unibersidad sa Missouri–Kansas City og Honorary Doctor of Humane Letters niadtong Mayo 1999. Human sa pagtudlo sa matematika sa Cornell University ug Ohio State University, si Hartmanis miapil sa General Electric Research Laboratory niadtong 1958. Samtang sa General Electric, nakahimo siyag daghang prinsipyo sa computational complexity theory. Sa 1965, nahimo siyang propesor sa Cornell University. Usa siya sa mga founder ug ang unang chair sa computer science department niini (nga maoy usa sa unang computer science department sa kalibutan). Si Hartmanis nakatampo sa nasudnong mga paningkamot sa pagpauswag sa computer science and engineering (CS&E) sa daghang paagi. Labing hinungdanon, siya ang nangulo sa pagtuon sa National Research Council nga miresulta sa 1992 nga publikasyon nga Computing the Future - A Broad Agenda for Computer Science and Engineering, nga naghimo og mga rekomendasyon base sa mga prayoridad niini aron mapadayon ang kinauyokan nga paningkamot sa CS&E, aron mapalapad ang natad, ug sa pagpalambo sa undergrad nga edukasyon sa CS&E. Siya ang assistant director sa National Science Foundation (NSF) Directorate of Computer and Information Science and Engineering (CISE) gikan sa 1996 hangtod 1998. Sa 1989, si Hartmanis napili isip miyembro sa National Academy of Engineering alang sa sukaranang mga kontribusyon sa computational complexity theory ug sa panukiduki ug edukasyon sa computing. Usa siya ka Fellow sa Association for Computing Machinery ug sa American Mathematical Society, miyembro usab sa National Academy of Sciences. Usa usab siya ka langyaw nga miyembro sa Latvian Academy of Sciences, nga naghatag kaniya sa ilang Grand Medal kaniadtong 2001 alang sa iyang mga kontribusyon sa siyensya sa kompyuter. Kauban ni R.E. Stearns, si Hartmanis nakadawat sa 1993 Turing Award alang sa usa ka papel diin ilang gipaila ang time complexity classes TIME(f(n)) ug gipamatud-an ang time hierarchy theorem. Ang laing papel ni Hartmanis gikan sa 1977, uban ni Leonard Berman, mipaila sa wala pa masulbad nga Berman–Hartmanis nga pangagpas nga ang tanang NP-kompletong mga pinulongan kay polynomial-time isomorphic. Si Hartmanis namatay niadtong Hulyo 29, 2022. Siya nabilin sa iyang tulo ka anak nga si Reneta, Martin , ug Audrey.

Mga Ganti

Fellow, American Association for the Advancement of Science (AAAS), 1981 Miyembro, National Academy of Engineering, 1989 Miyembro (langyaw): Latvian Academy of Sciences, 1990 Miyembro, American Academy of Arts and Sciences, 1992 ACM Turing Award 1993 Humboldt Foundation Research Award, 1993 Charter Fellow, ACM, 1994 Honorary Doctor of Humane Letters, 1999 Computing Research Association (CRA) Distinguished Service Award, 2000 Dakong Medalya sa Latvian Academy of Sciences, 2001 ACM Distinguished Service Award, 2013 Inaugural Fellow, American Mathematical Society, 2013 Miyembro, National Academy of Sciences, 2013

Pinili nga mga publikasyon

Mga libro Pinili nga mga artikulo Mga interbyu