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

A Q&A With Micron Technology's Memory Mastermind

For over 50 years, the exponential shrinking of circuit components on chips predicted by Gordon Moore has allowed all sorts of modern wonders, from personal computers... IEEE Spectrum
From ACM Opinion | October 22, 2018

From ACM Opinion

Astro Teller, Captain of Moonshots at X, on the Future of Ai, Robots, and Coffeemakers

Astro Teller has an unusual way of starting a new project: He tries to kill it. IEEE Spectrum
From ACM Opinion | December 20, 2016

From ACM Opinion

Why Smart Glasses Might Not Make You Smarter

Steve Mann built his first smart eyeglasses when he was still in high school and has continued to improve on his designs ever since—as a graduate student at MIT... IEEE Spectrum
From ACM Opinion | January 9, 2013