Juris Hartmanis -Juris Hartmanis

Vikipedi, özgür ansiklopedi

Juris Hartmanis
Juris Hartmanis(2002).jpg
Doğmak ( 1928-07-05 )5 Temmuz 1928
Riga, Letonya
Ölü 29 Temmuz 2022 (2022-07-29)(94 yaşında)
gidilen okul
Ödüller Turing Ödülü (1993)
Bilimsel kariyer
Alanlar Bilgisayar Bilimi
kurumlar
Doktora danışmanı Robert P. Dilworth
Doktora öğrencileri Allan Borodin (1969), Dexter Kozen (1976), Neil Immerman (1980), Jin-Yi Cai (1986)

Juris Hartmanis (5 Temmuz 1928 - 29 Temmuz 2022) Letonya doğumlu Amerikalı bir bilgisayar bilimcisi ve hesaplama teorisyeniydi ve Richard E. Stearns ile birlikte 1993 ACM Turing Ödülü'nü aldı . hesaplama karmaşıklığı teorisi alanı ".

yaşam ve kariyer

Hartmanis, 5 Temmuz 1928'de Letonya'da doğdu. Letonya Ordusunda bir general olan Mārtiņš Hartmanis'in [ lv ] oğlu ve şair Astrid Ivask'ın kardeşiydi . 1940 yılında Sovyetler Birliği Letonya'yı işgal ettikten sonra, Mārtiņš Hartmanis Sovyetler tarafından tutuklandı ve bir hapishanede öldü. Daha sonra II. Dünya Savaşı'nda, Mārtiņš Hartmanis'in karısı ve çocukları, 1944'te Sovyetler Birliği'nin Letonya'yı tekrar ele geçirmesi durumunda güvenliklerinden endişe ederek Letonya'yı mülteci olarak terk etti.

İlk olarak, Juris Hartmanis'in Marburg Üniversitesi'nden fizik alanında yüksek lisans derecesi eşdeğerini aldığı Almanya'ya taşındılar . Daha sonra Amerika Birleşik Devletleri'ne taşındı ve 1951'de Kansas City Üniversitesi'nde (şimdi Missouri-Kansas City Üniversitesi olarak bilinir) uygulamalı matematik alanında yüksek lisans ve 1955'te doktora derecesini aldı. Robert P. Dilworth gözetiminde Caltech'ten matematikte . University of Missouri–Kansas City, Mayıs 1999'da onu İnsancıl Mektuplar Fahri Doktoru ile onurlandırdı. Cornell Üniversitesi ve Ohio Eyalet Üniversitesi'nde matematik öğrettikten sonra Hartmanis, 1958'de General Electric Araştırma Laboratuvarı'na katıldı. General Electric'teyken birçok ilke geliştirdi. hesaplama karmaşıklığı teorisi. 1965 yılında Cornell Üniversitesi'nde profesör oldu. Bilgisayar bilimi bölümünün (dünyadaki ilk bilgisayar bilimi bölümlerinden biriydi) kurucularından ve ilk başkanıydı .

Hartmanis, bilgisayar bilimi ve mühendisliğini (CS&E) ilerletmek için ulusal çabalara birçok yönden katkıda bulunmuştur. En önemlisi, CS & E'deki temel çabayı sürdürmek, alanı genişletmek ve CS&E'de lisans eğitimini geliştirmek. 1996'dan 1998'e kadar Ulusal Bilim Vakfı (NSF) Bilgisayar ve Enformasyon Bilimi ve Mühendisliği (CISE) Müdürlüğü'nün müdür yardımcılığını yaptı.

1989'da Hartmanis, hesaplama karmaşıklığı teorisine ve hesaplamada araştırma ve eğitime temel katkılarından dolayı Ulusal Mühendislik Akademisi'ne üye olarak seçildi. Bilgisayar Makineleri Derneği'nin ve Amerikan Matematik Derneği'nin bir üyesiydi ve aynı zamanda Ulusal Bilimler Akademisi'nin bir üyesiydi . Aynı zamanda, bilgisayar bilimine katkılarından dolayı 2001 yılında kendisine Büyük Madalyasını [ lv ] veren Letonya Bilimler Akademisi'nin yabancı bir üyesiydi .

RE Stearns ile birlikte Hartmanis, zaman karmaşıklığı sınıflarını TIME(f(n)) tanıttıkları ve zaman hiyerarşisi teoremini kanıtladıkları bir makale için 1993 Turing Ödülü'nü aldı . Hartmanis'in 1977'den Leonard Berman ile birlikte yazdığı bir başka makale, tüm NP-tamamlanmış dillerin polinom zamanlı izomorfik olduğu hala çözülmemiş Berman-Hartmanis varsayımını ortaya koydu.

Hartmanis 29 Temmuz 2022'de öldü. Üç çocuğu Reneta, Martin ve Audrey tarafından hayatta kaldı.

Ödüller

Seçilmiş Yayınlar

Kitabın
  • Ardışık Makinelerin Cebirsel Yapı Teorisi 1966 ( RE Stearns ile )
  • Uygun Hesaplamalar ve Kanıtlanabilir Karmaşıklık Özellikleri 1978
  • Hesaplamalı Karmaşıklık Teorisi (ed.) 1989
  • Geleceği Hesaplamak: Bilgisayar bilimi ve mühendisliği için daha geniş bir gündem (ed.) 1992 (Herbert Lin ile birlikte)
Seçilmiş makaleler
  • "Yinelemeli dizilerin hesaplama karmaşıklığı" 1964 ( RE Stearns ile birlikte )
  • "Zaman ve bellek gereksinimlerine göre hesaplamaların sınıflandırılması" 1965 (PM Lewis ve RE Stearns ile birlikte )
  • "Bellek sınırlı hesaplamaların hiyerarşileri" 1965 (PM Lewis ve RE Stearns ile birlikte )
  • "Algoritmaların hesaplama karmaşıklığı üzerine" 1965 ( RE Stearns ile birlikte )
  • Bağlamdan bağımsız ve bağlama duyarlı dillerin tanınması için bellek sınırları 1965 (PM Lewis ve RE Stearns ile birlikte )
  • "NP ve diğer tam setlerin izomorfizmleri ve yoğunluğu hakkında" 1977 (L. Berman ile birlikte)
  • "Teorik bilgisayar biliminin gelişimi hakkında gözlemler" 1981

röportajlar

Juris Hartmanis dört kez röportaj yaptı. Bunlardan ikisi için videolar mevcuttur. En geniş kapsamlı olanı William Aspray'dir.

  • William Aspray, ACM Sözlü Tarih röportajları için Hartmanis ile röportajlar, 2009
  • David Gries, Hartmanis ile Cornell ecommons koleksiyonu için röportaj yapıyor, 2010
  • Len Shustek, CACM'deki bir makalede Hartmanis ile röportaj yapıyor, 2015
  • David Gries, Hartmanis ile ACM Turing Ödülü alıcısı olarak röportaj yapıyor, 2018

Referanslar

Dış bağlantılar