Home → News → Jack Minker (1927–2021) → Abstract

Jack Minker (1927–2021)

By Simson Garfinkel, Eugene H. Spafford

Communications of the ACM, Vol. 64 No. 6, Page 17
10.1145/3462465

[article image]


ACM fellow Jack Minker passed away on April 9, 2021, at the age of 93.

Minker was a leader in the development of automating logistic reasoning, including deductive databases, logic programming, and artificial intelligence, but he is perhaps best known for his efforts to promote the social responsibility of scientists and human rights.

0 Comments

No entries found