Advertisement

Author Archives

News

Jack Minker (1927–2021)

ACM Fellow Jack Minker was a leader in the development of automating logistic reasoning, but he is perhaps best known for his efforts to promote the social responsibility of scientists and human rights.

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved