ACM

Communications of the ACM

Recent Interviews

Yael Tauman Kalai of Microsoft Research and MIT

Verifying Correctness

From Communications of the ACM

Yael Tauman Kalai on her career, proof systems, and certifying correctness.

Leah Hoffmann | March 1, 2024

From ACM Opinion

The Optimistic Promise of Artificial Intelligence

Artificial intelligence may be one of the technology world's current obsessions, but many people find it scary, envisioning robots taking over the world. The Wall Street Journal
From ACM Opinion | June 16, 2017

From ACM News

Google Missed 'friend Thing'

Google Inc. executive chairman Eric Schmidt said one of his biggest failures as chief executive of the search giant over the last decade was grappling with the... The Wall Street Journal
From ACM News | June 1, 2011