The news archive provides access to past news stories from Communications of the ACM and other sources by date.
Algorithms fail their first test to replace student exams.
2020 ACM A.M. Turing Award recipients Alfred Aho and Jeffrey Ullman helped develop formal language theory, invented efficient algorithms to drive the tasks of a compiler, and put them all together in 'The Dragon Book.'
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.