จูริส ฮาร์ทมานิส

Article

August 10, 2022

Juris Hartmanis (5 กรกฎาคม 1928 – 29 กรกฎาคม 2022) เป็นนักวิทยาศาสตร์คอมพิวเตอร์และนักทฤษฎีการคำนวณชาวอเมริกันที่เกิดในลัตเวีย ซึ่งร่วมกับ Richard E. Stearns ได้รับรางวัล ACM Turing Award ประจำปี 1993 "เพื่อยกย่องผลงานชิ้นเอกของพวกเขาซึ่งเป็นรากฐานสำหรับ สาขาทฤษฎีความซับซ้อนในการคำนวณ"

ชีวิตและอาชีพ

Hartmanis เกิดในลัตเวียเมื่อวันที่ 5 กรกฎาคม พ.ศ. 2471 เขาเป็นบุตรชายของMārtiņš Hartmanis นายพลในกองทัพลัตเวียและเป็นน้องชายของกวี Astrid Ivask หลังจากที่สหภาพโซเวียตยึดครองลัตเวียในปี 2483 Mārtiņš Hartmanis ถูกโซเวียตจับกุมและเสียชีวิตในคุก ต่อมาในสงครามโลกครั้งที่ 2 ภรรยาและลูก ๆ ของ Mārtiņš Hartmanis ออกจากลัตเวียในปี 1944 เป็นผู้ลี้ภัย โดยกลัวความปลอดภัยหากสหภาพโซเวียตเข้ายึดครองลัตเวียอีกครั้ง พวกเขาย้ายไปเยอรมนีเป็นครั้งแรก โดยที่ Juris Hartmanis ได้รับเทียบเท่าปริญญาโทใน ฟิสิกส์จากมหาวิทยาลัย Marburg จากนั้นเขาก็ย้ายไปอยู่ที่สหรัฐอเมริกา โดยในปี 1951 เขาได้รับปริญญาโทด้านคณิตศาสตร์ประยุกต์ที่มหาวิทยาลัยแคนซัสซิตี (ปัจจุบันรู้จักกันในชื่อมหาวิทยาลัยมิสซูรี–แคนซัสซิตี้) และในปี 1955 ปริญญาดุษฎีบัณฑิต ในวิชาคณิตศาสตร์จาก Caltech ภายใต้การดูแลของ Robert P. Dilworth มหาวิทยาลัยมิสซูรี–แคนซัสซิตี้ให้เกียรติเขาด้วยปริญญาดุษฎีบัณฑิตกิตติมศักดิ์ในเดือนพฤษภาคม 2542 หลังจากสอนคณิตศาสตร์ที่ Cornell University และ Ohio State University แล้ว Hartmanis ได้เข้าร่วมห้องปฏิบัติการวิจัย General Electric ในปี 1958 ในขณะที่อยู่ที่ General Electric เขาได้พัฒนาหลักการมากมายของทฤษฎีความซับซ้อนในการคำนวณ ในปี พ.ศ. 2508 เขาได้เป็นศาสตราจารย์ที่มหาวิทยาลัยคอร์เนลล์ เขาเป็นหนึ่งในผู้ก่อตั้งและเป็นประธานคนแรกของแผนกวิทยาการคอมพิวเตอร์ (ซึ่งเป็นหนึ่งในแผนกวิทยาการคอมพิวเตอร์แห่งแรกของโลก) Hartmanis มีส่วนสนับสนุนความพยายามระดับชาติในการพัฒนาวิทยาการคอมพิวเตอร์และวิศวกรรม (CS&E) ในหลาย ๆ ด้าน ที่สำคัญที่สุด เขาเป็นประธานในการศึกษาของสภาวิจัยแห่งชาติซึ่งส่งผลให้มีการตีพิมพ์เรื่อง Computing the Future – A Broad Agenda for Computer Science and Engineering ในปี 1992 ซึ่งให้คำแนะนำตามลำดับความสำคัญในการรักษาความพยายามหลักใน CS&E เพื่อขยายสาขา และ เพื่อปรับปรุงการศึกษาระดับปริญญาตรีใน CS&E เขาเป็นผู้ช่วยผู้อำนวยการ National Science Foundation (NSF) Directorate of Computer and Information Science and Engineering (CISE) ตั้งแต่ปี 2539 ถึง 2541 ในปี 1989 Hartmanis ได้รับเลือกเป็นสมาชิกของ National Academy of Engineering สำหรับการสนับสนุนขั้นพื้นฐานในทฤษฎีความซับซ้อนในการคำนวณ ตลอดจนการวิจัยและการศึกษาด้านคอมพิวเตอร์ เขาเป็นสมาชิกของสมาคมเครื่องจักรคอมพิวเตอร์และ American Mathematical Society ซึ่งเป็นสมาชิกของ National Academy of Sciences เขายังเป็นสมาชิกต่างประเทศของ Latvian Academy of Sciences ซึ่งมอบเหรียญแกรนด์ให้กับเขาในปี 2544 สำหรับการมีส่วนร่วมในวิทยาการคอมพิวเตอร์พร้อมกับ R.E. Stearns, Hartmanis ได้รับรางวัล Turing Award ปี 1993 สำหรับบทความที่พวกเขาแนะนำคลาสความซับซ้อนของเวลา TIME(f(n)) และพิสูจน์ทฤษฎีบทลำดับชั้นเวลา กระดาษอีกชิ้นหนึ่งโดย Hartmanis จากปี 1977 โดย Leonard Berman ได้แนะนำข้อสันนิษฐานของ Berman–Hartmanis ที่ยังไม่มีคำตอบว่าภาษาที่สมบูรณ์ของ NP ทั้งหมดเป็นแบบพหุนามเวลา isomorphic Hartmanis เสียชีวิตเมื่อวันที่ 29 กรกฎาคม 2022

รางวัล

Fellow, American Association for the Advancement of Science (AAAS), 1981 กรรมการ สถาบันวิศวกรรมแห่งชาติ พ.ศ. 2532 สมาชิก (ต่างประเทศ): Latvian Academy of Sciences, 1990 สมาชิก American Academy of Arts and Sciences, 1992 ACM Turing Award 1993 รางวัลการวิจัยมูลนิธิ Humboldt, 1993 Charter Fellow, ACM, 1994 อักษรศาสตรดุษฎีบัณฑิตกิตติมศักดิ์ พ.ศ. 2542 Computing Research Association (CRA) Distinguished Service Award, 2000 เหรียญใหญ่ของ Latvian Academy of Sciences, 2001 ACM Distinguished Service Award ประจำปี 2556 เปิดตัว Fellow, American Mathematical Society, 2013 สมาชิก National Academy of Sciences, 2013

สิ่งพิมพ์ที่เลือก

หนังสือ บทความที่เลือก

สัมภาษณ์

Juris Hartmanis ถูกสัมภาษณ์สี่ครั้ง วิดีโอเป็น