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

Battery Pioneer Akira Yoshino Talks Tesla, Apple, and the Electric Future

2019 Nobel Prize winner discusses the prospect of hydrogen fuel-cell vehicles and autonomous electric vehicles that charge themselves Reuters
From ACM Opinion | September 9, 2021

From ACM Opinion

Father of Web Tells Russia's Putin: Internet Is Not a 'cia Project'

The inventor of the World Wide Web said on Thursday that Russian President Vladimir Putin was incorrect when he alleged the Internet was a project created by U.S... Reuters
From ACM Opinion | December 11, 2014