Jack Minker

Jack Minker 2007

Jack Minker (doğum Temmuz 4, 1927 yılında Brooklyn - † 9 Nisan 2021 ) Amerikalı oldu bilgisayar bilimcisi .

Kariyer

Minker , 1949'da Brooklyn College'da , 1950'de Wisconsin Üniversitesi'nde yüksek lisans derecesi ile okudu ve 1959'da Bernard Epstein ile Pennsylvania Üniversitesi'nden matematik alanında doktorasını aldı (Bazı Uygulamalar Orthogonal Systems of Functions to Interpolation ve Analitik Devam). 1951'den itibaren sektördeydi (1952'den 1957'ye kadar Bell Aircraft Corporation, RCA, teknik direktör olduğu Auerbach Corporation 1963'ten 1967'ye kadar) ve 1967'den itibaren bulunduğu College Park'taki Maryland Üniversitesi'nde bilgisayar bilimi profesörü oldu. 1974 - 1979 BT departmanına başkanlık etti. 1998'de emekli oldu.

Her iki alanın da kurucularından biri olduğu yapay zeka , özellikle tümdengelimli veritabanları ve ayırıcı mantık programlama (Generalized Closed World Assumption 1982) ile ilgilendi . Herve Gallaire ile tümdengelimli veritabanları ( Datalog ) için prolog benzeri bir programlama dili geliştirdi .

Ayrıca, özellikle eski Sovyetler Birliği ve Doğu Avrupa'dan bilim adamları arasında bir insan hakları aktivisti olarak biliniyordu. 1973'ten itibaren İlgili Bilim Adamları Komitesi'nin başkan yardımcılığını yaptı. 1980'den 1989'a kadar Bilgisayar Makineleri Derneği Bilimsel Özgürlük ve İnsan Hakları Komitesi'nin (CSFHR) başkan yardımcılığını yaptı . Örneğin, Natan Sharansky ve Alexander Lerner'in serbest bırakılması ve Andrei Sakharov ve Jelena Bonner için kampanyalar yürüttü . 2011 yılında Heinz R. Pagels Bilim İnsanlarının İnsan Hakları Ödülü'nü aldı.

O bir dostu olduğunu Advancement of Science için Amerikan Derneği (öncelikle insan hakları alanında yaptığı çalışmalarla), IEEE ve AAAI . 2005 yılında bilgisayar bilimlerinde tümdengelimli veritabanları, mantık programlama, yapay zeka ve genel mantık tabanlı yöntemler alanlarındaki temel katkılarından dolayı ACM-AAAI Allen Newell Ödülü'nü aldı .

1999'da Theory and Practice of Logic Programming'in kurucu editörüdür .

Yazı tipleri

  • Bilimsel Özgürlük ve İnsan Hakları: Soğuk Savaş Sırasında Vicdan Bilim Adamları, IEEE Computer Society Press 2012.
  • Jorge Lobo, Arcot Rajasekar: Ayrık Mantık Programlamanın Temelleri, MIT Press 1992 ile
  • Ayrık mantık programlamaya genel bakış, Annals of Mathematics and Artificial Intelligence, Volume 12, 1994, pp. 1-24
  • H. Gallaire ile (Ed.): Logic and Data Bases, Plenum Press 1978

İnternet linkleri

Bireysel kanıt

  1. American Men and Women of Science'a göre doğum ve kariyer verileri , Thomson Gale 2004
  2. Ölüm ilanı: Jack Minker
  3. Jack Minker in the Mathematics Genealogy Project (İngilizce)Şablon: MathGenealogyProject / Maintenance / id kullanıldı
  4. ^ Maryland Üniversitesi web sitesi, 2011 Minker Ödülü'nü almaya ilişkin